Enviar por SMS: Mathematical Logic for Computer Science