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
Coding the universe / A. Beller
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21663 03C190 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Combinatorial functors / Crossley, J. N.
Titre : Combinatorial functors Type de document : texte imprimé Auteurs : Crossley, J. N. ; Nerode, Anil Editeur : Springer-Verlag Année de publication : 1974 Collection : Ergebnisse der Mathematik und ihrer Grenzgebiete num. 81 Importance : viii - 146 p. ISBN/ISSN/EAN : 978-3-540-06428-2 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:03D50 Recursive equivalence types of sets and structures, isols
03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D99 None of the above, but in this sectionMots-clés : category of sets recursive equivalence types mathematical logic Index. décimale : 03C Monographie Combinatorial functors [texte imprimé] / Crossley, J. N. ; Nerode, Anil . - [S.l.] : Springer-Verlag, 1974 . - viii - 146 p.. - (Ergebnisse der Mathematik und ihrer Grenzgebiete; 81) .
ISBN : 978-3-540-06428-2
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:03D50 Recursive equivalence types of sets and structures, isols
03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D99 None of the above, but in this sectionMots-clés : category of sets recursive equivalence types mathematical logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 277 03C84 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Combinatory logic. Vol. I / Curry, Haskell B.
Titre : Combinatory logic. Vol. I Type de document : texte imprimé Auteurs : Curry, Haskell B. ; Feys, R. Graig, W. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1958 Collection : Studies in Logic and the Foundations of Mathematics Importance : xvi - 417 p. Langues : Anglais Mots-clés : foundations of mathematics philosophy Index. décimale : 03C Monographie Combinatory logic. Vol. I [texte imprimé] / Curry, Haskell B. ; Feys, R. Graig, W. . - Amtsterdam : North-Holland Publishing Company, 1958 . - xvi - 417 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é 4473 03C73 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Combinatory logic. Vol. II / Curry, Haskell B.
Titre : Combinatory logic. Vol. II Type de document : texte imprimé Auteurs : Curry, Haskell B. ; Seldin, Jonathan P. ; Hindley, J. Roger Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1972 Collection : Studies in Logic and the Foundations of Mathematics num. 65 Importance : xv - 520 p. ISBN/ISSN/EAN : 978-0-7204-2208-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus
03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D99 None of the above, but in this sectionMots-clés : combinatory logic Index. décimale : 03C Monographie Combinatory logic. Vol. II [texte imprimé] / Curry, Haskell B. ; Seldin, Jonathan P. ; Hindley, J. Roger . - Amtsterdam : North-Holland Publishing Company, 1972 . - xv - 520 p.. - (Studies in Logic and the Foundations of Mathematics; 65) .
ISBN : 978-0-7204-2208-5
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus
03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D99 None of the above, but in this sectionMots-clés : combinatory logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 11694 03C150 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible a Companion to modal logic / Hughes, G.E.
Titre : a Companion to modal logic Type de document : texte imprimé Auteurs : Hughes, G.E. ; Cresswell, M.J. Editeur : London : Methuen Année de publication : 1984 Collection : University Paperbacks num. 867 Importance : xvii - 203 p. ISBN/ISSN/EAN : 978-0-416-37510-7 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic
03-XX Mathematical logic and foundations:03CXX Model theory:03C90 Nonclassical models (Boolean-valued, sheaf, etc.)Mots-clés : finite model property frame canonical model normal modal system modal logic Index. décimale : 03C Monographie a Companion to modal logic [texte imprimé] / Hughes, G.E. ; Cresswell, M.J. . - London : Methuen, 1984 . - xvii - 203 p.. - (University Paperbacks; 867) .
ISBN : 978-0-416-37510-7
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic
03-XX Mathematical logic and foundations:03CXX Model theory:03C90 Nonclassical models (Boolean-valued, sheaf, etc.)Mots-clés : finite model property frame canonical model normal modal system modal logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15962 03C156 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Complementarity in mathematics / W. Kuyk
Titre : Complementarity in mathematics : a first introduction to the foundations of mathematics Type de document : texte imprimé Auteurs : W. Kuyk Editeur : Dortrecht : D. Reidel Publishing Company Année de publication : 1977 Collection : Mathematics and Its Applications num. 01 Importance : 186 p. ISBN/ISSN/EAN : 978-90-277-0814-4 Langues : Anglais Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A30 Philosophy of mathematics
01-XX History and biography:01A05 General histories, source books
03-XX Mathematical logic and foundations:03A05 Philosophical and criticalMots-clés : philosophical and critical mathematical logic Index. décimale : 03C Monographie Complementarity in mathematics : a first introduction to the foundations of mathematics [texte imprimé] / W. Kuyk . - Dortrecht : D. Reidel Publishing Company, 1977 . - 186 p.. - (Mathematics and Its Applications; 01) .
ISBN : 978-90-277-0814-4
Langues : Anglais
Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A30 Philosophy of mathematics
01-XX History and biography:01A05 General histories, source books
03-XX Mathematical logic and foundations:03A05 Philosophical and criticalMots-clés : philosophical and critical mathematical logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9246 03C112 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Completeness, compactnss, and undecidability / Manaster, Alfred B.
Titre : Completeness, compactnss, and undecidability : an introduction to mathematical logic Type de document : texte imprimé Auteurs : Manaster, Alfred B. Editeur : Englewood Cliffs, NJ : Prentice-Hall, Inc Année de publication : 1975 Importance : vi - 154 p. ISBN/ISSN/EAN : 978-0-13-164624-7 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:03B25 Decidability of theories and sets of sentences
03-XX Mathematical logic and foundations:03CXX Model theory:03C35 Categoricity and completeness of theoriesMots-clés : first-order logic categoricity mathematical logic Index. décimale : 03C Monographie Completeness, compactnss, and undecidability : an introduction to mathematical logic [texte imprimé] / Manaster, Alfred B. . - Englewood Cliffs, NJ : Prentice-Hall, Inc, 1975 . - vi - 154 p.
ISBN : 978-0-13-164624-7
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:03B25 Decidability of theories and sets of sentences
03-XX Mathematical logic and foundations:03CXX Model theory:03C35 Categoricity and completeness of theoriesMots-clés : first-order logic categoricity mathematical logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9216 03C82 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible
Titre : Computability of Julia sets Type de document : texte imprimé Auteurs : Mark. Braverman, Auteur ; Michael Yampolsky, Auteur Editeur : Springer-Verlag Année de publication : 2009 Collection : Algorithms and Computation in Mathematics num. 23 Importance : xiii - 151 p. Présentation : fig. Format : 25 cm. ISBN/ISSN/EAN : 978-3-540-68546-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-99 Mathematical logic and foundations (not classified at a more specific level) Mots-clés : Mathematical logic Index. décimale : 03C Monographie En ligne : http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68546-3 Computability of Julia sets [texte imprimé] / Mark. Braverman, Auteur ; Michael Yampolsky, Auteur . - [S.l.] : Springer-Verlag, 2009 . - xiii - 151 p. : fig. ; 25 cm.. - (Algorithms and Computation in Mathematics; 23) .
ISBN : 978-3-540-68546-3
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-99 Mathematical logic and foundations (not classified at a more specific level) Mots-clés : Mathematical logic Index. décimale : 03C Monographie En ligne : http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68546-3 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19856 03C180 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Constructibility / Devlin, Keith J.
Titre : Constructibility Type de document : texte imprimé Auteurs : Devlin, Keith J. Editeur : Springer-Verlag Année de publication : 1984 Collection : Perspectives in Mathematical Logic Importance : xi - 425 p. ISBN/ISSN/EAN : 978-0-387-13258-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:03E45 Inner models, including constructibility, ordinal definability, and core modelsMots-clés : morasses covering theorem large cardinals silver machines combinatorial principles fine structure of l constructible universe constructible hierarchy constructible sets axiom of choice generalized continuum hypothesis Index. décimale : 03C Monographie Constructibility [texte imprimé] / Devlin, Keith J. . - [S.l.] : Springer-Verlag, 1984 . - xi - 425 p.. - (Perspectives in Mathematical Logic) .
ISBN : 978-0-387-13258-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:03E45 Inner models, including constructibility, ordinal definability, and core modelsMots-clés : morasses covering theorem large cardinals silver machines combinatorial principles fine structure of l constructible universe constructible hierarchy constructible sets axiom of choice generalized continuum hypothesis Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13147 03C110 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Constructible sets with applications / Mostowski, A.
Titre : Constructible sets with applications Type de document : texte imprimé Auteurs : Mostowski, A. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1969 Collection : Studies in Logic and the Foundations of Mathematics Importance : ix - 269 p. Langues : Anglais Mots-clés : set theory Index. décimale : 03C Monographie Constructible sets with applications [texte imprimé] / Mostowski, A. . - Amtsterdam : North-Holland Publishing Company, 1969 . - ix - 269 p.. - (Studies in Logic and the Foundations of Mathematics) .
Langues : Anglais
Mots-clés : set theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4497 03C88 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Constructive analysis / Errett Bishop
Titre : Constructive analysis Type de document : texte imprimé Auteurs : Errett Bishop ; Douglas S. Bridges Editeur : Springer-Verlag Année de publication : 1985 Collection : Grundlehren der Mathematischen Wissenschaften num. 279 Importance : xii - 477 p. ISBN/ISSN/EAN : 978-3-540-15066-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F65 Other constructive mathematics
46-XX Functional analysis :46SXX Other (nonclassical) types of functional analysis :46S30 Constructive functional analysisMots-clés : riemann mapping theorem banach algebra s integration theory Index. décimale : 03C Monographie Constructive analysis [texte imprimé] / Errett Bishop ; Douglas S. Bridges . - [S.l.] : Springer-Verlag, 1985 . - xii - 477 p.. - (Grundlehren der Mathematischen Wissenschaften; 279) .
ISBN : 978-3-540-15066-4
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F65 Other constructive mathematics
46-XX Functional analysis :46SXX Other (nonclassical) types of functional analysis :46S30 Constructive functional analysisMots-clés : riemann mapping theorem banach algebra s integration theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 106 03C121 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Constructive real numbers and function spaces / Sanin, N. A.
Titre : Constructive real numbers and function spaces Type de document : texte imprimé Auteurs : Sanin, N. A. ; Mendelson, E. Trad. Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1968 Collection : Translations of Mathematical Monographs num. 21 Importance : iv - 325 p. Langues : Anglais Langues originales : Russe Mots-clés : function spaces real numbers Index. décimale : 03C Monographie Constructive real numbers and function spaces [texte imprimé] / Sanin, N. A. ; Mendelson, E. Trad. . - Providence, R.I. : American Mathematical Society, 1968 . - iv - 325 p.. - (Translations of Mathematical Monographs; 21) .
Langues : Anglais Langues originales : Russe
Mots-clés : function spaces real numbers Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9247 03C113 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Continuous model theory / Chang, Chen C.
Titre : Continuous model theory Type de document : texte imprimé Auteurs : Chang, Chen C. ; Keisler, H. Jerome Editeur : Princeton : Princeton University Press Année de publication : 1966 Collection : Annals of Mathematics Studies num. 58 Importance : xii - 165 p. Langues : Anglais Mots-clés : mathematical logic Index. décimale : 03C Monographie Continuous model theory [texte imprimé] / Chang, Chen C. ; Keisler, H. Jerome . - Princeton : Princeton University Press, 1966 . - xii - 165 p.. - (Annals of Mathematics Studies; 58) .
Langues : Anglais
Mots-clés : mathematical logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4495 03C114 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Contributions to logic and methodology in honor of J. M. Bochenski / A. T. Ed. Tymieniecka
Titre : Contributions to logic and methodology in honor of J. M. Bochenski Type de document : texte imprimé Auteurs : A. T. Ed. Tymieniecka Editeur : Amsterdam : North-holland publishing company Année de publication : 1965 Collection : Contributions to logic and methodology Importance : xviii - 326 p. Langues : Anglais Mots-clés : general mathematics Index. décimale : 03C Monographie Contributions to logic and methodology in honor of J. M. Bochenski [texte imprimé] / A. T. Ed. Tymieniecka . - Amsterdam : North-holland publishing company, 1965 . - xviii - 326 p.. - (Contributions to logic and methodology) .
Langues : Anglais
Mots-clés : general mathematics Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9204 03C45 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Contributions to non-standard analysis / Robinson, A. ; W. A. J. Luxemburg
Titre : Contributions to non-standard analysis Type de document : texte imprimé Auteurs : Robinson, A. ; W. A. J. Luxemburg Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1972 Collection : Studies in Logic and the Foundations of Mathematics num. 69 Importance : vi - 289 p. Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.Mots-clés : studies logic contribution non-standard analysis Index. décimale : 03B Publication collective Contributions to non-standard analysis [texte imprimé] / Robinson, A. ; W. A. J. Luxemburg . - Amtsterdam : North-Holland Publishing Company, 1972 . - vi - 289 p.. - (Studies in Logic and the Foundations of Mathematics; 69) .
Langues : Anglais
Catégories : 00-XX General:00BXX Conference proceedings and collections of papers
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.Mots-clés : studies logic contribution non-standard analysis Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4482 03B04 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible