Introduction à la logique - 3e éd.

Cet ouvrage, révisé pour cette troisième édition, est un cours introductif à la logique mathématique, et en particulier à la théorie de la démonstration. Il s’intéresse, du point de vue du mathématicien, aux questions : « Qu’est-ce qu’un énoncé ? une démonstration ? » ou, plus fondamentalement : « Que sont les mathématiques ? ». Les réponses proposées sont illustrées par de nombreux exemples issus des mathématiques classiques. Il aborde également la logique intuitionniste, qui fournit des preuves constructives, la logique d’ordre supérieur, qui permet de formaliser des raisonnements mathématiques plus riches en autorisant la quantification sur des ensembles, des fonctions ou des prédicats, ainsi que les techniques de base de la démonstration automatique, notions devenues