A partir de cette page vous pouvez :
Retourner au premier écran avec les recherches... |
. CRDM
03/MATHEMATICAL LOGIC AND FOUNDATIONS
Dans le rayon 03/MATHEMATICAL LOGIC AND FOUNDATIONS il y a différentes étagères, cliquez dessus pour les explorer...Monographie | Non classé | Publication collective |
Affiner la recherche
The higher infinite / Akihiro Kanamori
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 the Metamathematics of algebraic systems / Mal'cev, Anatolii I.
Titre : the Metamathematics of algebraic systems : collected papers : 1936-1967 Type de document : texte imprimé Auteurs : Mal'cev, Anatolii I. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1971 Collection : Studies in Logic and the Foundations of Mathematics num. 66 Importance : xviii - 494 p. Langues : Anglais Langues originales : Russe Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B50 Volumes of selected translations
03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03CXX Model theoryMots-clés : model theory mathematical logic Index. décimale : 03B Publication collective the Metamathematics of algebraic systems : collected papers : 1936-1967 [texte imprimé] / Mal'cev, Anatolii I. . - Amtsterdam : North-Holland Publishing Company, 1971 . - xviii - 494 p.. - (Studies in Logic and the Foundations of Mathematics; 66) .
Langues : Anglais Langues originales : Russe
Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B50 Volumes of selected translations
03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03CXX Model theoryMots-clés : model theory mathematical logic Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 8114 03B05 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible the Problem of inductive logic / Lakatos, I. Ed.
Titre : the Problem of inductive logic Titre original : proceedings of the international colloquium in the philosophy of science, London 1965. Vol. 2 Type de document : texte imprimé Auteurs : Lakatos, I. Ed. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1968 Collection : Studies in Logic and the Foundations of Mathematics Importance : viii - 417 p. Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest Mots-clés : london general mathematics proceedings inductive logic Index. décimale : 03B Publication collective the Problem of inductive logic = proceedings of the international colloquium in the philosophy of science, London 1965. Vol. 2 [texte imprimé] / Lakatos, I. Ed. . - Amtsterdam : North-Holland Publishing Company, 1968 . - viii - 417 p.. - (Studies in Logic and the Foundations of Mathematics) .
Langues : Anglais
Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest Mots-clés : london general mathematics proceedings inductive logic Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9226 03B07 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 Theory of relations / Fraïssé, Roland
Titre : Theory of relations : with an appendix by Norbert Sauer Type de document : texte imprimé Auteurs : Fraïssé, Roland ; Gabbay, D.M. ; Artemov, S. ; S. Abramsky ; Richard A. Shore, Auteur ; P. Clote, Traducteur Mention d'édition : Revised ed. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 2000 Collection : Studies in Logic and the Foundations of Mathematics num. 145 Importance : 451 p. ISBN/ISSN/EAN : 978-0-444-50542-2 Langues : Anglais Langues originales : Français 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:03E05 Other combinatorial set theory
06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.)
06-XX Order, lattices, ordered algebraic structures :06-02 Research exposition (monographs, survey articles)Mots-clés : age relational systems posets trees chains ordered sets cofinality order relations partition calculus order theory axiomatic set theory Index. décimale : IRIN Theory of relations : with an appendix by Norbert Sauer [texte imprimé] / Fraïssé, Roland ; Gabbay, D.M. ; Artemov, S. ; S. Abramsky ; Richard A. Shore, Auteur ; P. Clote, Traducteur . - Revised ed. . - Amtsterdam : North-Holland Publishing Company, 2000 . - 451 p.. - (Studies in Logic and the Foundations of Mathematics; 145) .
ISBN : 978-0-444-50542-2
Langues : Anglais Langues originales : Français
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:03E05 Other combinatorial set theory
06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.)
06-XX Order, lattices, ordered algebraic structures :06-02 Research exposition (monographs, survey articles)Mots-clés : age relational systems posets trees chains ordered sets cofinality order relations partition calculus order theory axiomatic set theory Index. décimale : IRIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13364 IRIN/03C04 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 theTheory of models / Henkin, L. ; J. W. Addison
Titre : theTheory of models Titre original : proceedings of the 1963 international symposium at Berkeley Type de document : texte imprimé Auteurs : Henkin, L. ; J. W. Addison ; Tarski, A., Editeur scientifique Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1965 Collection : Studies in Logic and the Foundations of Mathematics Importance : xv-494 p. Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.Mots-clés : berkeley, usa symposium proceedings mathematical logic Index. décimale : 03B Publication collective theTheory of models = proceedings of the 1963 international symposium at Berkeley [texte imprimé] / Henkin, L. ; J. W. Addison ; Tarski, A., Editeur scientifique . - Amtsterdam : North-Holland Publishing Company, 1965 . - xv-494 p.. - (Studies in Logic and the Foundations of Mathematics) .
Langues : Anglais
Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.Mots-clés : berkeley, usa symposium proceedings mathematical logic Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4326 03B02 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 Toward a systematic pragmatics / R. M. Martin
Titre : Toward a systematic pragmatics Type de document : texte imprimé Auteurs : R. M. Martin Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1959 Collection : Studies in Logic and the Foundations of Mathematics Importance : xv - 107 p. Langues : Anglais Mots-clés : foundations of mathematics philosophy Index. décimale : 03C Monographie Toward a systematic pragmatics [texte imprimé] / R. M. Martin . - Amtsterdam : North-Holland Publishing Company, 1959 . - xv - 107 p.. - (Studies in Logic and the Foundations of Mathematics) .
Langues : Anglais
Mots-clés : foundations of mathematics philosophy Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4496 03C38 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible