Ce 2e 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.
Bibliografiset tiedot
| Päätekijät: |
Cori, René, 1949-...., mathématicien,
Lascar, Daniel, 1942-
(Tekijä) |
|---|
| Muut tekijät: |
Krivine, Jean-Louis, 1939-
(Esipuheen tekijä) |
|---|
| Aineistotyyppi: | Livre papier
|
|---|
| Kieli: | Français |
|---|
| Julkaistu: |
Paris :
Dunod
DL 2003.
|
|---|
| Sarja: | Sciences sup. Mathématiques
|
|---|
| Aiheet: | |
|---|
| Huomautus: |
Autres tirages : 2005, 2008, 2011, 2013, 2015, 2017, 2019 (nouvelle présentation)
Réédition de l'édition originale publiée en 1993 aux Editions Masson dans la collection Axiomes, coordonnée par J.-L. Krivine
|
| Autres localisations: |
Voir dans le Sudoc |
| Variante du titre: | Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles :, cours et exercices corrigés |
|---|
