Zaslat SMS: Introduction a la logique mathématique