A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Catégories
> 03-XX Mathematical logic and foundations > 03-02 Research exposition (monographs, survey articles)
03-02 Research exposition (monographs, survey articles)
Affiner la recherchean 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
Titre : Axiom of choice Type de document : texte imprimé Auteurs : Horst Herrlich, Auteur Editeur : Springer-Verlag Année de publication : 2006 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 1876 Importance : xiv, 194 p. Présentation : fig. Format : 24 cm ISBN/ISSN/EAN : 978-3-540-30989-5 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 theory:03E25 Axiom of choice and related propositionsMots-clés : axiom of choice mathematical logic Index. décimale : 03C Monographie Axiom of choice [texte imprimé] / Horst Herrlich, Auteur . - [S.l.] : Springer-Verlag, 2006 . - xiv, 194 p. : fig. ; 24 cm. - (Lecture Notes in Mathematics, ISSN 0075-8434; 1876) .
ISBN : 978-3-540-30989-5
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 theory:03E25 Axiom of choice and related propositionsMots-clés : axiom of choice mathematical logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 18342 LNM/1876 imprimé / autre CRDM LNM/LECTURES NOTES IN MATHEMATICS Disponible
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
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
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
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
