Détail de l'auteur
Documents disponibles écrits par cet auteur (2)
Affiner la recherche Interroger des sources externes
texte imprimé
Présente successivement les problèmes de récursivité et de formalisation de l'arithmétique, les théorèmes de Godel, la théorie des ensembles ainsi que la théorie des modèles. Chaque chapitre est accompagné de nombreux exercices corrigés.
texte imprimé
Présente successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Chaque chapitre est accompagné de nombreux exercices corrigés.
