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
Automata on infinite objects and church's problem / Michael O. Rabin
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9236 03B09 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Automated reasoning with analytic tableaux and related methods / TABLEAUX
Titre : Automated reasoning with analytic tableaux and related methods Titre original : International conference, TABLEAUX '97 Type de document : texte imprimé Auteurs : TABLEAUX ; Galmiche, Didier Ed. Editeur : Springer-Verlag Année de publication : 1997 Collection : Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence num. 1227 Importance : xi - 373 p. ISBN/ISSN/EAN : 978-3-540-62920-7 Langues : Anglais Mots-clés : related methods analytical tableaux automated reasoning tableaux '97 conference proceedings pont-a-mousson (france) Index. décimale : IRIN Automated reasoning with analytic tableaux and related methods = International conference, TABLEAUX '97 [texte imprimé] / TABLEAUX ; Galmiche, Didier Ed. . - [S.l.] : Springer-Verlag, 1997 . - xi - 373 p.. - (Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence; 1227) .
ISBN : 978-3-540-62920-7
Langues : Anglais
Mots-clés : related methods analytical tableaux automated reasoning tableaux '97 conference proceedings pont-a-mousson (france) Index. décimale : IRIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 12964 IRIN/03C63 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 Axiomatic set theory / R. B. Chuaqui
Titre : Axiomatic set theory : impredicative theories of classes Type de document : texte imprimé Auteurs : R. B. Chuaqui Editeur : Amsterdam : North-holland publishing company Année de publication : 1981 Collection : Mathematics Studies num. 51 Importance : xv - 388 p. ISBN/ISSN/EAN : 978-0-444-86178-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E10 Ordinal and cardinal numbers
03-XX Mathematical logic and foundations:03EXX Set theory:03E55 Large cardinals
03-XX Mathematical logic and foundations:03EXX Set theory:03E70 Nonclassical and second-order set theoriesMots-clés : quine-morse set theory impredicative comprehension schema impredicative set theories bernays' set theory morse-kelley-tarski set theory Index. décimale : 03C Monographie Axiomatic set theory : impredicative theories of classes [texte imprimé] / R. B. Chuaqui . - Amsterdam : North-holland publishing company, 1981 . - xv - 388 p.. - (Mathematics Studies; 51) .
ISBN : 978-0-444-86178-8
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E10 Ordinal and cardinal numbers
03-XX Mathematical logic and foundations:03EXX Set theory:03E55 Large cardinals
03-XX Mathematical logic and foundations:03EXX Set theory:03E70 Nonclassical and second-order set theoriesMots-clés : quine-morse set theory impredicative comprehension schema impredicative set theories bernays' set theory morse-kelley-tarski set theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9283 03C144 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Axiomatic set theory / Jech, Thomas J.
Titre : Axiomatic set theory Titre original : proceedings of the symposium in pure mathematics of the American Mathematical Society, held at the University of California, Los Angeles, California, July 10-August 5, 1967 Type de document : texte imprimé Auteurs : Jech, Thomas J., Editeur scientifique Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1974 Collection : Proceedings of Symposia in Pure Mathematics num. 13-2 Importance : 222 p. ISBN/ISSN/EAN : 978-0-8218-0246-5 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 : los angeles (usa) proceedings axiomatic set theory mathematical logic Index. décimale : 03B Publication collective Axiomatic set theory = proceedings of the symposium in pure mathematics of the American Mathematical Society, held at the University of California, Los Angeles, California, July 10-August 5, 1967 [texte imprimé] / Jech, Thomas J., Editeur scientifique . - Providence, R.I. : American Mathematical Society, 1974 . - 222 p.. - (Proceedings of Symposia in Pure Mathematics; 13-2) .
ISBN : 978-0-8218-0246-5
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 : los angeles (usa) proceedings axiomatic set theory mathematical logic Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15847 03B12 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible 9241 03B12 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Axiomatic set theory / Dana S. Scott
Titre : Axiomatic set theory Titre original : proceedings of the symposium in pure mathematics of the American Mathematical Society. Held at the University of California, Los Angeles, California, July 10-August 5, 1967 Type de document : texte imprimé Auteurs : Dana S. Scott, Editeur scientifique Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1971 Collection : Proceedings of Symposia in Pure Mathematics num. 13-1 Importance : v - 474 p. ISBN/ISSN/EAN : 978-0-8218-0245-8 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:03EXX Set theoryMots-clés : los angeles (usa) proceedings axiomatic set theory mathematical logic Index. décimale : 03B Publication collective Axiomatic set theory = proceedings of the symposium in pure mathematics of the American Mathematical Society. Held at the University of California, Los Angeles, California, July 10-August 5, 1967 [texte imprimé] / Dana S. Scott, Editeur scientifique . - Providence, R.I. : American Mathematical Society, 1971 . - v - 474 p.. - (Proceedings of Symposia in Pure Mathematics; 13-1) .
ISBN : 978-0-8218-0245-8
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:03EXX Set theoryMots-clés : los angeles (usa) proceedings axiomatic set theory mathematical logic Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15846 03B11 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible 9243 03B11 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible 9242 03B11 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 Changing models
Titre : Changing models Type de document : texte imprimé Auteurs : Guido Antonio Rossi, Editeur : Torino : Levrotto & Bella Année de publication : impr. 2005. Importance : 1 vol. (185 p.) Présentation : fig., tabl. Format : 24 cm. ISBN/ISSN/EAN : 88-8218-118-9 Langues : Anglais Index. décimale : 03B Publication collective Changing models [texte imprimé] / Guido Antonio Rossi, . - Torino : Levrotto & Bella, impr. 2005. . - 1 vol. (185 p.) : fig., tabl. ; 24 cm.
ISBN : 88-8218-118-9
Langues : Anglais
Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17961 03B17 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible