Αποστολή με SMS: An algebraic introduction to mathematical logic /