Enviar por SMS: Introduction to Mathematical Logic