A partir de cette page vous pouvez :
Retourner au premier écran avec les recherches... |
. CRDM
03/MATHEMATICAL LOGIC AND FOUNDATIONS > Monographie
Axiomatic set theory / R. B. Chuaqui
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9283 03C144 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Axiomatic set theory / P. Bernays
Titre : Axiomatic set theory : with a historical introduction by Abraham A. Fraenkel Type de document : texte imprimé Auteurs : P. Bernays ; Abraham A. Fraenkel, Préfacier, etc. Mention d'édition : 2nd ed. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1968 Collection : Studies in Logic and the Foundations of Mathematics Importance : viii - 226 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:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03EXX Set theoryMots-clés : mathematical logic set theory Index. décimale : 03C Monographie Axiomatic set theory : with a historical introduction by Abraham A. Fraenkel [texte imprimé] / P. Bernays ; Abraham A. Fraenkel, Préfacier, etc. . - 2nd ed. . - Amtsterdam : North-Holland Publishing Company, 1968 . - viii - 226 p.. - (Studies in Logic and the Foundations of 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:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03EXX Set theoryMots-clés : mathematical logic set theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4751 03C91 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Axiomatics / R. Blanché
Titre : Axiomatics Type de document : texte imprimé Auteurs : R. Blanché ; Keene, G. B. Trad. Editeur : London : Routledge & Kegan Paul Ltd Année de publication : 1966 Collection : Monographs in Modern Logic Importance : v - 65 p. Langues : Anglais Langues originales : Français Mots-clés : foundations of mathematics philosophy axiomatics Index. décimale : 03C Monographie Axiomatics [texte imprimé] / R. Blanché ; Keene, G. B. Trad. . - London : Routledge & Kegan Paul Ltd, 1966 . - v - 65 p.. - (Monographs in Modern Logic) .
Langues : Anglais Langues originales : Français
Mots-clés : foundations of mathematics philosophy axiomatics Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9192 03C26 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Basic proof theory / Troelstra, A.
Titre : Basic proof theory Type de document : texte imprimé Auteurs : Troelstra, A. ; Schwichtenberg, H. Mention d'édition : 2nd ed. Editeur : Cambridge : Cambridge University Press Année de publication : 2000 Collection : Cambridge Tracts in Computer Sciences num. 43 Importance : xii - 417 p. ISBN/ISSN/EAN : 978-0-521-77911-1 Langues : Anglais 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:03BXX General logic:03B40 Combinatory logic and lambda-calculus
03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic
03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F03 Proof theory, general
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F05 Cut-elimination and normal-form theorems
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragments
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F35 Second- and higher-order arithmetic and fragments
03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi
68-XX Computer science :68NXX Software:68N17 Logic programmingMots-clés : apartness e-logic multi-succedent intuitionistic sequent calculus kleene-style sequent calculus logic programming connections with computer science first-order arithmetic modal logic hilbert-style system resolution second-order heyting arithmetic linear logic coherence theorem categorical logic formulas-as-types relation combinatory logic type theory interpolation strong normalization cut elimination gentzen type system sequent calculus natural deduction system intuitionistic logic classical logic minimal logic proof theory Index. décimale : 03C Monographie Basic proof theory [texte imprimé] / Troelstra, A. ; Schwichtenberg, H. . - 2nd ed. . - Cambridge : Cambridge University Press, 2000 . - xii - 417 p.. - (Cambridge Tracts in Computer Sciences; 43) .
ISBN : 978-0-521-77911-1
Langues : Anglais
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:03BXX General logic:03B40 Combinatory logic and lambda-calculus
03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic
03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F03 Proof theory, general
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F05 Cut-elimination and normal-form theorems
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragments
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F35 Second- and higher-order arithmetic and fragments
03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi
68-XX Computer science :68NXX Software:68N17 Logic programmingMots-clés : apartness e-logic multi-succedent intuitionistic sequent calculus kleene-style sequent calculus logic programming connections with computer science first-order arithmetic modal logic hilbert-style system resolution second-order heyting arithmetic linear logic coherence theorem categorical logic formulas-as-types relation combinatory logic type theory interpolation strong normalization cut elimination gentzen type system sequent calculus natural deduction system intuitionistic logic classical logic minimal logic proof theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13412 03C02 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Basic simple type theory / Hindley, J. Roger
Titre : Basic simple type theory Type de document : texte imprimé Auteurs : Hindley, J. Roger Editeur : Cambridge : Cambridge University Press Année de publication : 1997 Collection : Cambridge Tracts in Theoretical Computer Science num. 42 Importance : xi - 186 p. ISBN/ISSN/EAN : 978-0-521-46518-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B20 Subsystems of classical logic (including intuitionistic logic)
03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus
03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer scienceMots-clés : polymorphic theories cit?dans... functional programming language intuitionistic logic type-checking algorithm type-assignment lambda-calculus type-theory Index. décimale : 03C Monographie Basic simple type theory [texte imprimé] / Hindley, J. Roger . - Cambridge : Cambridge University Press, 1997 . - xi - 186 p.. - (Cambridge Tracts in Theoretical Computer Science; 42) .
ISBN : 978-0-521-46518-2
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B20 Subsystems of classical logic (including intuitionistic logic)
03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus
03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer scienceMots-clés : polymorphic theories cit?dans... functional programming language intuitionistic logic type-checking algorithm type-assignment lambda-calculus type-theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13413 03C01 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Beweistheorie / Schutte, K.
Titre : Beweistheorie Type de document : texte imprimé Auteurs : Schutte, K. Editeur : Springer-Verlag Année de publication : 1977 Collection : Grundlehren der Mathematischen Wissenschaften num. 103 Importance : x - 355 p. Langues : Allemand Mots-clés : philosophy foundations logics Index. décimale : 03C Monographie Beweistheorie [texte imprimé] / Schutte, K. . - [S.l.] : Springer-Verlag, 1977 . - x - 355 p.. - (Grundlehren der Mathematischen Wissenschaften; 103) .
Langues : Allemand
Mots-clés : philosophy foundations logics Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1789 03C21 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Bounded arithmetic, propositional logic, and complexity theory / Jan Krajicek
Titre : Bounded arithmetic, propositional logic, and complexity theory Type de document : texte imprimé Auteurs : Jan Krajicek Editeur : Cambridge : Cambridge University Press Année de publication : 1995 Collection : Encyclopedia of Mathematics and Its Applications num. 60 Importance : xiv, 343 p. Format : 24 cm ISBN/ISSN/EAN : 978-0-521-45205-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:03D15 Complexity of computation
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragmentsMots-clés : bounded arithmetic complexity of propositional logic independence proofs lower bound proofs propositional proof systems witnessing Index. décimale : 03C Monographie Bounded arithmetic, propositional logic, and complexity theory [texte imprimé] / Jan Krajicek . - Cambridge : Cambridge University Press, 1995 . - xiv, 343 p. ; 24 cm. - (Encyclopedia of Mathematics and Its Applications; 60) .
ISBN : 978-0-521-45205-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:03D15 Complexity of computation
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragmentsMots-clés : bounded arithmetic complexity of propositional logic independence proofs lower bound proofs propositional proof systems witnessing Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 18520 03C175 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Cardinal and ordinal numbers / W. Sierpinski
Titre : Cardinal and ordinal numbers Type de document : texte imprimé Auteurs : W. Sierpinski Editeur : Warszawa : Panstwowe Wydawnictwo Naukowe Année de publication : 1958 Collection : Monografie matematyczne num. 34 Importance : 487 p. Note générale : Don de Mr Andronikov Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : set theory Index. décimale : 03C Monographie Cardinal and ordinal numbers [texte imprimé] / W. Sierpinski . - Warszawa : Panstwowe Wydawnictwo Naukowe, 1958 . - 487 p.. - (Monografie matematyczne; 34) .
Don de Mr Andronikov
Langues : Anglais
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é 3470 03C143 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Coding the universe / A. Beller
Titre : Coding the universe Type de document : texte imprimé Auteurs : A. Beller ; Ronald Björn Jensen (1936-....) ; P. Welch, Auteur Editeur : Cambridge University Press Année de publication : 1982 Collection : London Mathematical Society lecture note series num. 47 Importance : 353 p. Format : 23 cm ISBN/ISSN/EAN : 978-0-521-28040-2 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:03E35 Consistency and independence results
03-XX Mathematical logic and foundations:03EXX Set theory:03E45 Inner models, including constructibility, ordinal definability, and core modelsMots-clés : constructible universe forcing set-generic sets Index. décimale : 03C Monographie Coding the universe [texte imprimé] / A. Beller ; Ronald Björn Jensen (1936-....) ; P. Welch, Auteur . - [S.l.] : Cambridge University Press, 1982 . - 353 p. ; 23 cm. - (London Mathematical Society lecture note series; 47) .
ISBN : 978-0-521-28040-2
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:03E35 Consistency and independence results
03-XX Mathematical logic and foundations:03EXX Set theory:03E45 Inner models, including constructibility, ordinal definability, and core modelsMots-clés : constructible universe forcing set-generic sets Index. décimale : 03C Monographie 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