A partir de cette page vous pouvez :
Retourner au premier écran avec les recherches... |
. CRDM
03/MATHEMATICAL LOGIC AND FOUNDATIONS > Monographie
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.
Titre : the Foundations of intuitionistic mathematics : especially in relation to recursive functions Type de document : texte imprimé Auteurs : Kleene, S. C. ; R. E. Vesley Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1965 Collection : Studies in Logic and the Foundations of Mathematics Importance : viii - 206 p. Langues : Anglais Mots-clés : mathematical logic intuitionistic mathematics Index. décimale : 03C Monographie the Foundations of intuitionistic mathematics : especially in relation to recursive functions [texte imprimé] / Kleene, S. C. ; R. E. Vesley . - Amtsterdam : North-Holland Publishing Company, 1965 . - viii - 206 p.. - (Studies in Logic and the Foundations of Mathematics) .
Langues : Anglais
Mots-clés : mathematical logic intuitionistic mathematics Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9201 03C42 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible The foundations of mathematics in the theory of sets / John P. Mayberry
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 18445 03C174 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible The higher infinite / Akihiro Kanamori
Titre : The higher infinite : large cardinals in set theory from their beginnings Type de document : texte imprimé Auteurs : Akihiro Kanamori (1948-....), Auteur Mention d'édition : 2nd ed. Editeur : New York, NY : Springer Année de publication : 2003 Collection : Springer Monographs in Mathematics Importance : xxii, 536 p. Présentation : ill. couv. Format : 25 cm ISBN/ISSN/EAN : 978-3-540-00384-7 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03EXX Set theory:03E05 Other combinatorial set theory
03-XX Mathematical logic and foundations:03EXX Set theory:03E55 Large cardinalsMots-clés : inaccessible cardinal Mahlo cardinal tree property history of large cardinals partition properties forcing measurability supercompactness axiom of determinacy Index. décimale : 03C Monographie The higher infinite : large cardinals in set theory from their beginnings [texte imprimé] / Akihiro Kanamori (1948-....), Auteur . - 2nd ed. . - New York, NY : Springer, 2003 . - xxii, 536 p. : ill. couv. ; 25 cm. - (Springer Monographs in Mathematics) .
ISBN : 978-3-540-00384-7
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03EXX Set theory:03E05 Other combinatorial set theory
03-XX Mathematical logic and foundations:03EXX Set theory:03E55 Large cardinalsMots-clés : inaccessible cardinal Mahlo cardinal tree property history of large cardinals partition properties forcing measurability supercompactness axiom of determinacy Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 18257 03C170 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible the Mathematics of metamathematics / Rasiowa, H.
Titre : the Mathematics of metamathematics Type de document : texte imprimé Auteurs : Rasiowa, H. ; Sikorski, R. Editeur : Warszawa : Panstwowe Wydawnictwo Naukowe Année de publication : 1963 Collection : Monografie matematyczne num. 41 Importance : 519 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) Mots-clés : mathematical logic Index. décimale : 03C Monographie the Mathematics of metamathematics [texte imprimé] / Rasiowa, H. ; Sikorski, R. . - Warszawa : Panstwowe Wydawnictwo Naukowe, 1963 . - 519 p.. - (Monografie matematyczne; 41) .
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) Mots-clés : mathematical logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4280 03C13 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Théorie axiomatique des ensembles / Krivine, Jean-Louis
Titre : Théorie axiomatique des ensembles Type de document : texte imprimé Auteurs : Krivine, Jean-Louis Editeur : Paris : Presses universitaires de france Année de publication : 1969 Collection : Le Mathématicien num. 01 Importance : 118 p. Langues : Français Index. décimale : 03C Monographie Théorie axiomatique des ensembles [texte imprimé] / Krivine, Jean-Louis . - Paris : Presses universitaires de france, 1969 . - 118 p.. - (Le Mathématicien; 01) .
Langues : Français
Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 8375 03C94 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible 8377 03C94 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Théorie des ensembles / Kamke, E.
Titre : Théorie des ensembles Type de document : texte imprimé Auteurs : Kamke, E. ; A. M. Lahr-Degout, Traducteur Editeur : Paris : Dunod Année de publication : 1964 Collection : Monographies Dunod num. 50 Importance : ix - 228 p. Langues : Français Langues originales : Allemand Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : set theory Index. décimale : 03C Monographie Théorie des ensembles [texte imprimé] / Kamke, E. ; A. M. Lahr-Degout, Traducteur . - Paris : Dunod, 1964 . - ix - 228 p.. - (Monographies Dunod; 50) .
Langues : Français Langues originales : Allemand
Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : set theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9265 03C124 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Théorie des ensembles / Bastiani A.
Titre : Théorie des ensembles Type de document : texte imprimé Auteurs : Bastiani A. Editeur : Paris : Centre de Documentation Universitaire - Paris V Année de publication : 1970 Importance : vi - 328 p. Langues : Français Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : set theory Index. décimale : 03C Monographie Théorie des ensembles [texte imprimé] / Bastiani A. . - Paris : Centre de Documentation Universitaire - Paris V, 1970 . - vi - 328 p.
Langues : Français
Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : set theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9270 03C135 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Théorie métamathématique des ideaux / Robinson, A.
Titre : Théorie métamathématique des ideaux Type de document : texte imprimé Auteurs : Robinson, A. Editeur : Paris : Gauthier-Villars Année de publication : 1955 Collection : Collection de logique mathématique, sér. A num. 08 Importance : 186 p. Langues : Français Mots-clés : foundations of mathematics philosophy Index. décimale : 03C Monographie Théorie métamathématique des ideaux [texte imprimé] / Robinson, A. . - Paris : Gauthier-Villars, 1955 . - 186 p.. - (Collection de logique mathématique, sér. A; 08) .
Langues : Français
Mots-clés : foundations of mathematics philosophy Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4498 03C96 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Theory and problems of set theory and related topics / Lipschutz, Seymour
Titre : Theory and problems of set theory and related topics : including 530 solved proble Type de document : texte imprimé Auteurs : Lipschutz, Seymour Editeur : New York, NY : Schaum Publishing Co. Année de publication : 1964 Collection : Schaum's Outline Series Importance : 233 p. Langues : Anglais Mots-clés : set theory Index. décimale : 03C Monographie Theory and problems of set theory and related topics : including 530 solved proble [texte imprimé] / Lipschutz, Seymour . - New York, NY : Schaum Publishing Co., 1964 . - 233 p.. - (Schaum's Outline Series) .
Langues : Anglais
Mots-clés : set theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1144 03C151 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Theory of formal systems / Raymond M. Smullyan
Titre : Theory of formal systems Type de document : texte imprimé Auteurs : Raymond M. Smullyan Editeur : Princeton : Princeton University Press Année de publication : 1961 Collection : Annals of Mathematics Studies num. 47 Importance : xi - 147 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D35 Undecidability and degrees of sets of sentencesMots-clés : foundations of mathematics philosophy Index. décimale : 03C Monographie Theory of formal systems [texte imprimé] / Raymond M. Smullyan . - Princeton : Princeton University Press, 1961 . - xi - 147 p.. - (Annals of Mathematics Studies; 47) .
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D35 Undecidability and degrees of sets of sentencesMots-clés : foundations of mathematics philosophy Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4491 03C74 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible a Theory of sets / Morse, Anthony P.
Titre : a Theory of sets Type de document : texte imprimé Auteurs : Morse, Anthony P. Editeur : Academic Press, Inc. Année de publication : 1965 Collection : PURE AND APPLIED MATHEMATICS num. 18 Importance : xxxi - 130 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E70 Nonclassical and second-order set theories Mots-clés : theory of notation kelley-morse set theory axiomatic theory of sets sets theory Index. décimale : 03C Monographie a Theory of sets [texte imprimé] / Morse, Anthony P. . - [S.l.] : Academic Press, Inc., 1965 . - xxxi - 130 p.. - (PURE AND APPLIED MATHEMATICS; 18) .
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E70 Nonclassical and second-order set theories Mots-clés : theory of notation kelley-morse set theory axiomatic theory of sets sets theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9264 03C127 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Topoi / Robert Goldblatt
Titre : Topoi : the categorial analysis of logic Type de document : texte imprimé Auteurs : Robert Goldblatt, Auteur Editeur : Mineola, N.Y. : Dover Publications Année de publication : 2006 Importance : xx - 555 p. ISBN/ISSN/EAN : 978-0-486-45026-1 Note générale : Originally published: Rev. ed. Amsterdam ; New York : North-Holland, 1984, in series: Studies in logic and the foundations of mathematics ; v. 98. Langues : Anglais Mots-clés : topos theory for logicians Index. décimale : 03C Monographie Topoi : the categorial analysis of logic [texte imprimé] / Robert Goldblatt, Auteur . - Mineola, N.Y. : Dover Publications, 2006 . - xx - 555 p.
ISBN : 978-0-486-45026-1
Originally published: Rev. ed. Amsterdam ; New York : North-Holland, 1984, in series: Studies in logic and the foundations of mathematics ; v. 98.
Langues : Anglais
Mots-clés : topos theory for logicians Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 20010 03C181 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible