Відправити по sms: An algebraic introduction to mathematical logic