René Cori, Daniel Lascar, "Logique mathématique"
René Cori, Daniel Lascar, "Logique mathématique : 2 Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles"
2003 | ISBN: 2100054538 | Français | PDF | 368 pages | 54.1 MB
2003 | ISBN: 2100054538 | Français | PDF | 368 pages | 54.1 MB
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 Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles.