A partir de cette page vous pouvez :
Retourner au premier écran avec les recherches... |
. CRDM
03/MATHEMATICAL LOGIC AND FOUNDATIONS > Monographie
Abstract set theory / Skolem, Thoralf A.
Titre : Abstract set theory Type de document : texte imprimé Auteurs : Skolem, Thoralf A. Editeur : Notre Dame, IN : Universiy of Notre Dame Année de publication : 1962 Collection : Notre Dame Mathematical Lectures num. 08 Importance : 70 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : set theory Index. décimale : 03C Monographie Abstract set theory [texte imprimé] / Skolem, Thoralf A. . - Notre Dame, IN : Universiy of Notre Dame, 1962 . - 70 p.. - (Notre Dame Mathematical Lectures; 08) .
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : set theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9269 03C130 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Abstract sets and finite ordinals / Keene, G. B.
Titre : Abstract sets and finite ordinals : an introduction to the study of set theory Type de document : texte imprimé Auteurs : Keene, G. B. Editeur : London : Pergamon Press Année de publication : 1961 Collection : Pure and Applied Mathematics num. 23 Importance : x - 106 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : finite ordinals abstracts sets set theory Index. décimale : 03C Monographie Abstract sets and finite ordinals : an introduction to the study of set theory [texte imprimé] / Keene, G. B. . - London : Pergamon Press, 1961 . - x - 106 p.. - (Pure and Applied Mathematics; 23) .
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : finite ordinals abstracts sets set theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4749 03C123 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Algebraic logic / Paul R. Halmos
Titre : Algebraic logic Type de document : texte imprimé Auteurs : Paul R. Halmos Editeur : New York, NY : Chelsea publishing company Année de publication : 1962 Importance : 257 p. Langues : Anglais Mots-clés : mathematical logic philosophy foundations Index. décimale : 03C Monographie Algebraic logic [texte imprimé] / Paul R. Halmos . - New York, NY : Chelsea publishing company, 1962 . - 257 p.
Langues : Anglais
Mots-clés : mathematical logic philosophy foundations Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4499 03C68 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Algèbre des ensembles algèbre / Choquet, M.
Titre : Algèbre des ensembles algèbre Type de document : texte imprimé Auteurs : Choquet, M. Editeur : Paris : Centre de Documentation Universitaire - Paris V Année de publication : 1963 Collection : Les Cours de Sorbonne Importance : vi - 79 p. Note générale : Certificat d'Etudes Supérieures de Calcul Différentiel et Intégral Langues : Français Mots-clés : set theory Index. décimale : 03C Monographie Algèbre des ensembles algèbre [texte imprimé] / Choquet, M. . - Paris : Centre de Documentation Universitaire - Paris V, 1963 . - vi - 79 p.. - (Les Cours de Sorbonne) .
Certificat d'Etudes Supérieures de Calcul Différentiel et Intégral
Langues : Français
Mots-clés : set theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9271 03C137 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible 20370 03C137 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Algèbre1 / Exbrayat, J. M.
Titre : Algèbre1 : notions fondamentales de la théorie des ensembles Type de document : texte imprimé Auteurs : Exbrayat, J. M. ; Pierre Mazet Editeur : Paris : Hatier-Universite Année de publication : 1971 Collection : Notions modernes de mathematiques Importance : 127 p. Langues : Français Mots-clés : set theory Index. décimale : 03C Monographie Algèbre1 : notions fondamentales de la théorie des ensembles [texte imprimé] / Exbrayat, J. M. ; Pierre Mazet . - Paris : Hatier-Universite, 1971 . - 127 p.. - (Notions modernes de mathematiques) .
Langues : Français
Mots-clés : set theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17530 03C138 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible 12174 03C138 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible 622 03C138 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible 623 03C138 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Allgemeine mengenlehre / Klaua, D.
Titre : Allgemeine mengenlehre : ein fundament der mathematik Type de document : texte imprimé Auteurs : Klaua, D. Editeur : Berlin : Akademie-Verlag Année de publication : 1964 Collection : Mathematische Lehrbücher und Monographien num. 10 Importance : Viii - 581 p. Langues : Allemand Mots-clés : set theory Index. décimale : 03C Monographie Allgemeine mengenlehre : ein fundament der mathematik [texte imprimé] / Klaua, D. . - Berlin : Akademie-Verlag, 1964 . - Viii - 581 p.. - (Mathematische Lehrbücher und Monographien; 10) .
Langues : Allemand
Mots-clés : set theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9267 03C imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible an Algebraic approach to non-classical logics / Rasiowa, H.
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9224 03C81 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible an Introduction to mathematical logic and type theory / P. B. Andrews
Titre : an Introduction to mathematical logic and type theory : to truth through proof Type de document : texte imprimé Auteurs : P. B. Andrews Mention d'édition : 2nd ed. Editeur : Springer-Verlag Année de publication : 2002 Collection : Applied Logic Series num. 27 Importance : xviii - 408 p. ISBN/ISSN/EAN : 978-1-4020-0763-7 Note générale : commande M. Borer Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic
03-XX Mathematical logic and foundations:03BXX General logic:03B15 Higher-order logic and type theoryMots-clés : propositional logic type theory first-order logic Index. décimale : 03C Monographie an Introduction to mathematical logic and type theory : to truth through proof [texte imprimé] / P. B. Andrews . - 2nd ed. . - [S.l.] : Springer-Verlag, 2002 . - xviii - 408 p.. - (Applied Logic Series; 27) .
ISBN : 978-1-4020-0763-7
commande M. Borer
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic
03-XX Mathematical logic and foundations:03BXX General logic:03B15 Higher-order logic and type theoryMots-clés : propositional logic type theory first-order logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17760 03C167 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible an Introduction to modal logic / Hughes, G.D.
Titre : an Introduction to modal logic Type de document : texte imprimé Auteurs : Hughes, G.D. ; Cresswell, M.J. Editeur : London : Methuen Année de publication : 1968 Collection : University Paperbacks num. 431 Importance : xii - 388 p. ISBN/ISSN/EAN : 978-0-416-29460-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic Mots-clés : modal logic predicate logic propositional logic Index. décimale : 03C Monographie an Introduction to modal logic [texte imprimé] / Hughes, G.D. ; Cresswell, M.J. . - London : Methuen, 1968 . - xii - 388 p.. - (University Paperbacks; 431) .
ISBN : 978-0-416-29460-6
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic Mots-clés : modal logic predicate logic propositional logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15963 03C157 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Analyse non standard / Robert, Aline
Titre : Analyse non standard Type de document : texte imprimé Auteurs : Robert, Aline Editeur : Lausanne : Presses Polytechniques Romandes Année de publication : 1985 Importance : xvii - 118 p. ISBN/ISSN/EAN : 978-2-88074-072-6 Langues : Français Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03HXX Nonstandard models :03H05 Nonstandard models in mathematics
26-XX Real functions :26EXX Miscellaneous topics :26E35 Nonstandard analysisMots-clés : invariant mean schr?ger equation stone-weierstra?theorem invariant subspace internal set theory infinitesimals nonstandard analysis Index. décimale : 03C Monographie Analyse non standard [texte imprimé] / Robert, Aline . - Lausanne : Presses Polytechniques Romandes, 1985 . - xvii - 118 p.
ISBN : 978-2-88074-072-6
Langues : Français
Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03HXX Nonstandard models :03H05 Nonstandard models in mathematics
26-XX Real functions :26EXX Miscellaneous topics :26E35 Nonstandard analysisMots-clés : invariant mean schr?ger equation stone-weierstra?theorem invariant subspace internal set theory infinitesimals nonstandard analysis Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9248 03C122 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Applications of model theory to algebra. analysis and probability / OFFICE OF NAVAL RESEARCH
Titre : Applications of model theory to algebra. analysis and probability Type de document : texte imprimé Auteurs : OFFICE OF NAVAL RESEARCH ; W. A. J. Luxemburg Editeur : New York, NY : Holt, Rinehart and Winston Année de publication : 1969 Importance : VII-307 Langues : Anglais Mots-clés : general mathematics Index. décimale : 03C Monographie Applications of model theory to algebra. analysis and probability [texte imprimé] / OFFICE OF NAVAL RESEARCH ; W. A. J. Luxemburg . - New York, NY : Holt, Rinehart and Winston, 1969 . - VII-307.
Langues : Anglais
Mots-clés : general mathematics Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4483 03C65 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Aristotle's modal syllogisms / McCall, S.
Titre : Aristotle's modal syllogisms Type de document : texte imprimé Auteurs : McCall, S. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1963 Collection : Studies in Logic and the Foundations of Mathematics Importance : viii - 100 p. Langues : Anglais Mots-clés : mathematical logic modal syllogisms Index. décimale : 03C Monographie Aristotle's modal syllogisms [texte imprimé] / McCall, S. . - Amtsterdam : North-Holland Publishing Company, 1963 . - viii - 100 p.. - (Studies in Logic and the Foundations of Mathematics) .
Langues : Anglais
Mots-clés : mathematical logic modal syllogisms Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9197 03C39 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit / H. Hermes
Titre : Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : einführung in die Theorie der rekursiven Funktionen Type de document : texte imprimé Auteurs : H. Hermes Editeur : Springer-Verlag Année de publication : 1961 Collection : Die Grundlehren der Mathematischen Wissenschaften num. 109 Importance : ix - 245 p. Langues : Allemand Mots-clés : recursive functions mathematical logic Index. décimale : 03C Monographie Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : einführung in die Theorie der rekursiven Funktionen [texte imprimé] / H. Hermes . - [S.l.] : Springer-Verlag, 1961 . - ix - 245 p.. - (Die Grundlehren der Mathematischen Wissenschaften; 109) .
Langues : Allemand
Mots-clés : recursive functions mathematical logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3810 03C30 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Axiomatic set theory / Takeuti, G.
Titre : Axiomatic set theory Type de document : texte imprimé Auteurs : Takeuti, G. ; Wilson M. Zaring 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 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 theoryMots-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. ; Wilson M. Zaring . - New York, NY : Springer, 1973 . - 238 p.. - (Graduate Texts in Mathematics; 08) .
ISBN : 978-0-387-90050-6
Langues : Anglais
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 theoryMots-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 Axiomatic set theory / Suppes, P.
Titre : Axiomatic set theory Type de document : texte imprimé Auteurs : Suppes, P. Editeur : Princeton, N.J. : D. Van Nostrand Company, Inc. Année de publication : 1960 Collection : The University Series in Undergraduate Mathematics Importance : xii - 265 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03EXX Set theoryMots-clés : set theory axiomatic set theory Index. décimale : 03C Monographie Axiomatic set theory [texte imprimé] / Suppes, P. . - Princeton, N.J. : D. Van Nostrand Company, Inc., 1960 . - xii - 265 p.. - (The University Series in Undergraduate Mathematics) .
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03EXX Set theoryMots-clés : set theory axiomatic set theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4748 03C99 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible