Відправити по sms: A tour through mathematical logic