Titre :	Logique mathématique : 2. Fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèlecours et exercices corrigés
Type de document :	texte imprimé
Auteurs :	René Cori ; Daniel Lascar ; Jean-Louis. préf.Krivine
Editeur :	Paris : Dunod
Année de publication :	2003
Collection :	Sciences sup, ISSN 1636-2217
Importance :	(XV-347 p.)
Présentation :	couv. ill. en coul.
Format :	24 cm
ISBN/ISSN/EAN :	978-2-10-005453-4
Note générale :	Biblio. p. [323]-325. Index
Langues :	Français (fre)
Mots-clés :	L  L  C  C  A  A  T  T
Permalink :	./index.php?lvl=notice_display&id=17187

Logique mathématique : 2. Fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèlecours et exercices corrigés [texte imprimé] / René Cori ; Daniel Lascar ; Jean-Louis. préf.Krivine . - Paris : Dunod, 2003 . - (XV-347 p.) : couv. ill. en coul. ; 24 cm. - (Sciences sup, ISSN 1636-2217) .
ISBN : 978-2-10-005453-4
Biblio. p. [323]-325. Index
Langues : Français (fre)

Mots-clés :	L  L  C  C  A  A  T  T
Permalink :	./index.php?lvl=notice_display&id=17187