Manuel sur les grands thèmes de la logique mathématique : calcul propositionnel, théorie des déductions, complétude sémantique, etc. Avec des exercices sur des points d'un niveau plus élevé.