Initiation à la logique formelle
Avec exercices et corrigés
Une introduction à la logique contemporaine, à la fois rigoureuse et accessible à tous. La richesse des thèmes abordés et la palette d'exercices proposés conduiront rapidement le lecteur à une connaissance approfondie des notions de base de la logique.