2 résultat(s) recherche sur le mot-clé 'classification theory'

Complex geometry / Y. Kawamata ; Catanese, F. ; Ingrid C. Bauer ; Peternell, Thomas

Public ISBD Titre : Complex geometry : collection of papers dedicated to Hans Grauert Type de document : texte imprimé Auteurs : Y. Kawamata ; Catanese, F. ; Ingrid C. Bauer ; Peternell, Thomas, Editeur scientifique Editeur : Springer-Verlag Année de publication : 2002 Importance : xxii - 340 p. ISBN/ISSN/EAN : 978-3-540-43259-3 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B30 Festschriften 14-XX Algebraic geometry:14-06 Proceedings, conferences, collections, etc. 32-XX Several complex variables and analytic spaces :32-06 Proceedings, conferences, collections, etc. Mots-clés : moduli spaces  linear systems  classification theory  k?r geometry  algebraic surfaces Index. décimale : 14B Publication collective Complex geometry : collection of papers dedicated to Hans Grauert [texte imprimé] / Y. Kawamata ; Catanese, F. ; Ingrid C. Bauer ; Peternell, Thomas, Editeur scientifique . - [S.l.] : Springer-Verlag, 2002 . - xxii - 340 p. ISBN : 978-3-540-43259-3 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B30 Festschriften 14-XX Algebraic geometry:14-06 Proceedings, conferences, collections, etc. 32-XX Several complex variables and analytic spaces :32-06 Proceedings, conferences, collections, etc. Mots-clés : moduli spaces  linear systems  classification theory  k?r geometry  algebraic surfaces Index. décimale : 14B Publication collective

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13984	14B83	imprimé / autre	CRDM	14/GEOMETRIE ALGEBRIQUE	Disponible

A course in mathematical logic for mathematicians / Yuri Ivanovich Manin

Public ISBD Titre : A course in mathematical logic for mathematicians Type de document : texte imprimé Auteurs : Yuri Ivanovich Manin, Auteur Mention d'édition : 2nd ed. Editeur : New York, NY : Springer Année de publication : 2010 Collection : Graduate Texts in Mathematics num. 53 Importance : xvii - 384 p. Format : 25 cm ISBN/ISSN/EAN : 978-1-4419-0614-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic Mots-clés : mathematical logic  textbook  provability  truth  deducibility  continuum problem  forcing  completeness  incompleteness  constructible sets  computability  recursive functions  Church's thesis  Diophantine sets  algorithmic undecidability  recursive groups  constructive universe  model theory  classification theory  stability theory  compactness Index. décimale : 03C Monographie A course in mathematical logic for mathematicians [texte imprimé] / Yuri Ivanovich Manin, Auteur  . -  2nd ed. . - New York, NY : Springer, 2010 . - xvii - 384 p. ; 25 cm. - (Graduate Texts in Mathematics; 53) . ISBN : 978-1-4419-0614-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic Mots-clés : mathematical logic  textbook  provability  truth  deducibility  continuum problem  forcing  completeness  incompleteness  constructible sets  computability  recursive functions  Church's thesis  Diophantine sets  algorithmic undecidability  recursive groups  constructive universe  model theory  classification theory  stability theory  compactness Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
20561	03C184	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible