Auteur

Logique mathématique t.2

Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles

Sortie : 2020 (France). Guide & manuel, Sciences

livre de René Cori et Daniel Lascar

Résumé · Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Godel et à la théorie des ensembles ainsi qu'à la théorie des modèles.

Auteur

Logique mathématique, tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats (2003)

Sortie : 15 janvier 2003. Essai

livre de Daniel Lascar et René Cori

Résumé · Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude.