header
cover

Logique mathématique. 2 : fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles [monographie]

Auteur(s): Cori, René
Krivine, Jean-Louis (1939-....) (Préface)
Lascar, Daniel (1942-....)
Langue: français
Collection: Sciences Sup. Mathématiques
Editeur, date d'édition: Dunod, 2003
Ville(s) d'édition: Paris (FR)
ISBN: 2-10-005453-8
ISSN: 1636-2217
Notes: xv ; bibliogr. pp. 323-325 ; index pp. 335-347 ; 24 cm (Autres tirages : 2005, 2008, 2011. - La couv. porte en plus : Licence, master) ; 347 p.
Thèmes: logique mathematique, theorie des ensembles, theoreme de godel, tbeorie des modeles, fonctions recursives

Localisation: Ouvrage localisé fonds enseignement - 1ère salle



     Exemplaire(s)
CoteRetour
05 COR 03-2Disponible