Enviar por SMS: First course in mathematical logic