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-....)
|
Editeur, date d'édition: | Dunod, 2003
|
Ville(s) d'édition: | Paris (FR)
|
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.
|
Localisation: | Ouvrage localisé fonds enseignement - 1ère salle |
Exemplaire(s)
Cote | Retour |
---|
05 COR 03-2 | Disponible |