A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'indexation
03C : Monographie
Ouvrages de la bibliothèque en indexation 03C
Affiner la recherche
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory / Gödel, Kurtz
Titre : The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory Type de document : texte imprimé Auteurs : Gödel, Kurtz, Auteur Editeur : Princeton : Princeton University Press Année de publication : 1940 Collection : Annals of Mathematics Studies num. 3 Importance : 69 p. Format : 23 cm Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : set theory Foundation logic Index. décimale : 03C Monographie The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory [texte imprimé] / Gödel, Kurtz, Auteur . - Princeton : Princeton University Press, 1940 . - 69 p. ; 23 cm. - (Annals of Mathematics Studies; 3) .
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : set theory Foundation logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 20403 03C182 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible The core model / A. Dodd
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21553 03C189 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible the Development of mathematical logic / Nidditch, P. H.
Titre : the Development of mathematical logic Type de document : texte imprimé Auteurs : Nidditch, P. H. Editeur : London : Routledge & Kegan Paul Ltd Année de publication : 1963 Collection : Monographs in Modern Logic Importance : viii - 88 p. Langues : Anglais Mots-clés : history mathematical logic Index. décimale : 03C Monographie the Development of mathematical logic [texte imprimé] / Nidditch, P. H. . - London : Routledge & Kegan Paul Ltd, 1963 . - viii - 88 p.. - (Monographs in Modern Logic) .
Langues : Anglais
Mots-clés : history mathematical logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9193 03C25 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible the Elements of mathematical logic / Rosenbloom, Paul
Titre : the Elements of mathematical logic Type de document : texte imprimé Auteurs : Rosenbloom, Paul Editeur : New York, NY : Dover Publications Inc. Année de publication : 1950 Importance : iv - 214 p. Langues : Anglais Mots-clés : foundations of mathematics philosophy Index. décimale : 03C Monographie the Elements of mathematical logic [texte imprimé] / Rosenbloom, Paul . - New York, NY : Dover Publications Inc., 1950 . - iv - 214 p.
Langues : Anglais
Mots-clés : foundations of mathematics philosophy Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 11719 03C52 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible The evolution of logic / Wilbur Dyre Hart
Titre : The evolution of logic Type de document : texte imprimé Auteurs : Wilbur Dyre Hart, Auteur Editeur : Cambridge, U.K. : Cambridge Univeristy Press Année de publication : 2010 Collection : The Evolution of Modern Philosophy Importance : xi - 299 p. ISBN/ISSN/EAN : 978-0-521-74772-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) Mots-clés : mathematical logic history Index. décimale : 03C Monographie The evolution of logic [texte imprimé] / Wilbur Dyre Hart, Auteur . - Cambridge, U.K. : Cambridge Univeristy Press, 2010 . - xi - 299 p.. - (The Evolution of Modern Philosophy) .
ISBN : 978-0-521-74772-1
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) Mots-clés : mathematical logic history Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19506 03C177 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible the Foundations of intuitionistic mathematics / Kleene, S. C.
PermalinkThe foundations of mathematics in the theory of sets / John P. Mayberry
PermalinkThe higher infinite / Akihiro Kanamori
Permalinkthe Mathematics of metamathematics / Rasiowa, H.
PermalinkThéorie axiomatique des ensembles / Krivine, Jean-Louis
PermalinkThéorie des ensembles / Kamke, E.
PermalinkThéorie des ensembles / Bastiani A.
PermalinkThéorie métamathématique des ideaux / Robinson, A.
PermalinkTheory and problems of set theory and related topics / Lipschutz, Seymour
PermalinkTheory of formal systems / Raymond M. Smullyan
Permalink