Envoyer par SMS: Mathematical Logic for Computer Science