Logique mathématique

Afin de ne pas manquer la simplicité fondamentale des concepts étudiés, ce
manuel présente les éléments de la logique mathématique dans un style
volontairement simple, dégagé du souci de la forme. Loin de prétendre couvrir
le sujet, seuls ont été sélectionnés quelques thèmes importants, abordés par
des méthodes instructives et illustrés par des applications non gratuites. Des
exercices complètent le texte et abordent quelques questions d'un niveau plus
élevé. Sommaire : Le cacul propositionnel Le calcul des propostions analysées
Théories des déductions Une théorie des ensembles La complétude sémantique La
théorie des définitions Application à la géométrie Élimination des
quantificateurs Les théorèmes de limitation Relations et fonctions récursives.