Enviar por SMS: Algebraic methods of mathematical logic.