Logique mathématique. cours et exercices corrigés 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles :
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.
Gorde:
| Egile Nagusiak: | , |
|---|---|
| Beste egile batzuk: | |
| Formatua: | Livre papier |
| Hizkuntza: | Français |
| Argitaratua: |
Paris :
Dunod
DL 2003.
|
| Saila: | Sciences sup. Mathématiques
|
| Gaiak: | |
| Oharra: |
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 |