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 recherche
Homotopy type theory
Titre : Homotopy type theory : Univalent foundations of mathematics Type de document : texte imprimé Editeur : Lulu Press Année de publication : 2013 Importance : ix - 468 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
55-XX Algebraic topology:55-02 Research exposition (monographs, survey articles)Mots-clés : mathematical logic Index. décimale : 03B Publication collective Homotopy type theory : Univalent foundations of mathematics [texte imprimé] . - [S.l.] : Lulu Press, 2013 . - ix - 468 p.
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
55-XX Algebraic topology:55-02 Research exposition (monographs, survey articles)Mots-clés : mathematical logic Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 30110 LAREMA/HOM imprimé / autre Fédération FR 2962 - Angers Angers Ouvrages Disponible Intensional and higher-order modal logic / Gallin, D.
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9229 03C95 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Introduction to axiomatic set theory / Takeuti, G.
Titre : Introduction to axiomatic set theory Type de document : texte imprimé Auteurs : Takeuti, G. ; Wilson M. Zaring Editeur : New York, NY : Springer Année de publication : 1971 Collection : Graduate Texts in Mathematics num. 01 Importance : vii - 250 p. ISBN/ISSN/EAN : 978-0-387-05302-8 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 : zermlofraenkel set theory constructible sets standard mode l forcing silver machines goedel model generalized continuum hypothesis classes axiomatic set theory Index. décimale : 03C Monographie Introduction to axiomatic set theory [texte imprimé] / Takeuti, G. ; Wilson M. Zaring . - New York, NY : Springer, 1971 . - vii - 250 p.. - (Graduate Texts in Mathematics; 01) .
ISBN : 978-0-387-05302-8
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 : zermlofraenkel set theory constructible sets standard mode l forcing silver machines goedel model generalized continuum hypothesis classes axiomatic set theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4552 03C100 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Introduction to combinators and lambda-calculus / Hindley, J. Roger
Titre : Introduction to combinators and lambda-calculus Type de document : texte imprimé Auteurs : Hindley, J. Roger ; Seldin, Jonathan P. Editeur : Cambridge University Press Année de publication : 1986 Collection : London Mathematical Society Student Texts num. 01 Importance : viii - 360 p. ISBN/ISSN/EAN : 978-0-521-31839-6 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-calculusMots-clés : type assignment models lambda calculus combinatory logic Index. décimale : 03C Monographie Introduction to combinators and lambda-calculus [texte imprimé] / Hindley, J. Roger ; Seldin, Jonathan P. . - [S.l.] : Cambridge University Press, 1986 . - viii - 360 p.. - (London Mathematical Society Student Texts; 01) .
ISBN : 978-0-521-31839-6
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-calculusMots-clés : type assignment models lambda calculus combinatory logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 16612 03C163 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Introduction to mathematical logic. Vol. I / Church, A.
Titre : Introduction to mathematical logic. Vol. I Type de document : texte imprimé Auteurs : Church, A. Editeur : Princeton, NJ : Princeton University Press Année de publication : 1956 Collection : Princeton Mathematical Series num. 17 Importance : ix - 378 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:03BXX General logic:03B05 Classical propositional logicMots-clés : mathematical logic philosophy foundationsv Index. décimale : 03C Monographie Introduction to mathematical logic. Vol. I [texte imprimé] / Church, A. . - Princeton, NJ : Princeton University Press, 1956 . - ix - 378 p.. - (Princeton Mathematical Series; 17) .
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:03B05 Classical propositional logicMots-clés : mathematical logic philosophy foundationsv Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4492 03C49 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Introduction to metamathematics / Kleene, Stephen C.
PermalinkIntroduction to set theory / Hrbacek, K.
PermalinkIntroduction to set theory / Hrbacek, K.
PermalinkIterated inductive definitions and subsystems of analysis : recent proof- theoretical studies. / W. Buchholz
PermalinkLecture in set theory with particular emphasis on the method of forcing / Jech, Thomas J.
PermalinkLogic and structure / van Dalen, Dirk
PermalinkLogic, computers and sets / Wang, Haiping
PermalinkLogic in algebraic form / Craig, Walter
PermalinkLogical dilemmas / J. W. Jr Dawson
PermalinkLogical foundations of proof complexity / Stephen Cook
Permalink