Introduction à la logique standard : Calcul des propositions, des prédicats et des relations

C'est un ouvrage indispensable si vous voulez vous lancer dans le sujet. C'est bien sûr notre prof de logique formelle qui nous l'a imposé et c'est lumineux, impossible de ne pas comprendre.