Відправити по sms: Logic for mathematicians