Documents disponibles écrits par cet auteur

Axiomatic set theory / Takeuti, G.

Public ISBD Titre : Axiomatic set theory Type de document : texte imprimé Auteurs : Takeuti, G. ; Zaring, Wilson M. Editeur : New York, NY : Springer Année de publication : 1973 Collection : Graduate Texts in Mathematics num. 08 Importance : 238 p. ISBN/ISSN/EAN : 978-0-387-90050-6 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03CXX Model theory:03C30 Other model constructions 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : standard model  forcing  silver machines  goedel model  generalized continuum hypothesis  classes  axiomatic set theory  mathematical logic Index. décimale : 03C Monographie Axiomatic set theory [texte imprimé] / Takeuti, G. ; Zaring, Wilson M. . - Springer, 1973 . - 238 p.. - (Graduate Texts in Mathematics; 08) . ISBN : 978-0-387-90050-6 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03CXX Model theory:03C30 Other model constructions 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : standard model  forcing  silver machines  goedel model  generalized continuum hypothesis  classes  axiomatic set theory  mathematical logic Index. décimale : 03C Monographie

Exemplaires

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

Introduction to axiomatic set theory / Takeuti, G.

Public ISBD Titre : Introduction to axiomatic set theory Type de document : texte imprimé Auteurs : Takeuti, G. ; Zaring, Wilson M. Editeur : New York, NY : Springer Année de publication : 1971 Collection : Graduate Texts in Mathematics num. 01 Importance : vii - 250 p. ISBN/ISSN/EAN : 978-0-387-05302-8 Langues : Anglais (eng) 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:03EXX Set theory Mots-clés : zermlofraenkel set theory  constructible sets  standard mode l  forcing  silver machines  goedel model  generalized continuum hypothesis  classes  axiomatic set theory Index. décimale : 03C Monographie Introduction to axiomatic set theory [texte imprimé] / Takeuti, G. ; Zaring, Wilson M. . - Springer, 1971 . - vii - 250 p.. - (Graduate Texts in Mathematics; 01) . ISBN : 978-0-387-05302-8 Langues : Anglais (eng) 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:03EXX Set theory Mots-clés : zermlofraenkel set theory  constructible sets  standard mode l  forcing  silver machines  goedel model  generalized continuum hypothesis  classes  axiomatic set theory Index. décimale : 03C Monographie

Exemplaires

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

Logic symposia hakone 1979-1980: proceedings of conferences held in hakone japan / GRANT-IN-AID FOR CO-OPERATIVE RESEARCH

Public ISBD Titre : Logic symposia hakone 1979-1980: proceedings of conferences held in hakone japan Type de document : texte imprimé Auteurs : GRANT-IN-AID FOR CO-OPERATIVE RESEARCH ; Tugue, T. Eds. ; Takeuti, G. ; Muller, G. H. Editeur : Springer-Verlag Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 891 Importance : XI-394 ISBN/ISSN/EAN : 978-0-387-11161-2 Langues : Anglais (eng) Mots-clés : logique Index. décimale : LNM Logic symposia hakone 1979-1980: proceedings of conferences held in hakone japan [texte imprimé] / GRANT-IN-AID FOR CO-OPERATIVE RESEARCH ; Tugue, T. Eds. ; Takeuti, G. ; Muller, G. H. . - Springer-Verlag, [s.d.] . - XI-394. - (Lecture Notes in Mathematics, ISSN 0075-8434; 891) . ISBN : 978-0-387-11161-2 Langues : Anglais (eng) Mots-clés : logique Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5428	LNM/891	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

Proof theory / Takeuti, G.

Public ISBD Titre : Proof theory Type de document : texte imprimé Auteurs : Takeuti, G. Editeur : Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company,Inc Année de publication : 1975 Collection : Studies in Logic and The Foundations of Mathematics num. 81 Importance : vii - 372 p. ISBN/ISSN/EAN : 978-0-7204-2277-1 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F99 None of the above, but in this section Mots-clés : mathematical logic  proof theory Index. décimale : 03C Monographie Proof theory [texte imprimé] / Takeuti, G. . - North-Holland Publishing Company - American Elsevier Publishing Company,Inc, 1975 . - vii - 372 p.. - (Studies in Logic and The Foundations of Mathematics; 81) . ISBN : 978-0-7204-2277-1 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F99 None of the above, but in this section Mots-clés : mathematical logic  proof theory Index. décimale : 03C Monographie

Exemplaires

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