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-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-01 Instructional exposition (textbooks, tutorial papers, etc.)
Affiner la recherche
Model theory / Marker, David
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 16745 03C165 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Naive set theory / Paul R. Halmos
Titre : Naive set theory Type de document : texte imprimé Auteurs : Paul R. Halmos Editeur : Princeton, N.J. : D. Van Nostrand Company, Inc. Année de publication : 1960 Collection : The University Series in Undergraduate Mathematics Importance : vi - 104 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 Index. décimale : 03C Monographie Naive set theory [texte imprimé] / Paul R. Halmos . - Princeton, N.J. : D. Van Nostrand Company, Inc., 1960 . - vi - 104 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 Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4750 03C133 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Notes on set theory / Moschovakis, Yiannis N.
Titre : Notes on set theory Type de document : texte imprimé Auteurs : Moschovakis, Yiannis N. Editeur : Springer-Verlag Année de publication : 1994 Collection : Undergraduate Texts in Mathematics Importance : xiv - 265 p. ISBN/ISSN/EAN : 978-0-387-94180-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:03EXX Set theory:03E15 Descriptive set theory
03-XX Mathematical logic and foundations:03EXX Set theory:03E30 Axiomatics of classical set theory and its fragmentsMots-clés : zf axiomatization basic set theory set theory Index. décimale : 03C Monographie Notes on set theory [texte imprimé] / Moschovakis, Yiannis N. . - [S.l.] : Springer-Verlag, 1994 . - xiv - 265 p.. - (Undergraduate Texts in Mathematics) .
ISBN : 978-0-387-94180-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:03EXX Set theory:03E15 Descriptive set theory
03-XX Mathematical logic and foundations:03EXX Set theory:03E30 Axiomatics of classical set theory and its fragmentsMots-clés : zf axiomatization basic set theory set theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 8205 03C134 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Practical foundations of mathematics / Taylor, Paul
Titre : Practical foundations of mathematics Type de document : texte imprimé Auteurs : Taylor, Paul Editeur : Cambridge : Cambridge University Press Année de publication : 2000 Collection : Cambridge Studies in Advanced Mathematics. num. 59 Importance : xi - 572 p. ISBN/ISSN/EAN : 978-0-521-63107-5 Langues : Anglais Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A35 Methodology of mathematics, didactics
03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.)Mots-clés : adjunction between syntax and semantics syntactic category of a theory structural recursion lattices posets category theory foundations of mathematics Index. décimale : 18A Practical foundations of mathematics [texte imprimé] / Taylor, Paul . - Cambridge : Cambridge University Press, 2000 . - xi - 572 p.. - (Cambridge Studies in Advanced Mathematics.; 59) .
ISBN : 978-0-521-63107-5
Langues : Anglais
Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A35 Methodology of mathematics, didactics
03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.)Mots-clés : adjunction between syntax and semantics syntactic category of a theory structural recursion lattices posets category theory foundations of mathematics Index. décimale : 18A Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13409 18A40 imprimé / autre CRDM 18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE Disponible Proof and disproof in formal logic / Bornat, Richard
Titre : Proof and disproof in formal logic : an introduction for programmers Type de document : texte imprimé Auteurs : Bornat, Richard Editeur : Oxford : Oxford university press Année de publication : 2005 Collection : Oxford Texts in Logic num. 02 Importance : xx - 243 p. ISBN/ISSN/EAN : 978-0-19-853027-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:03BXX General logic:03B70 Logic in computer science
68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)Mots-clés : mathematical logic Index. décimale : 03C Monographie Proof and disproof in formal logic : an introduction for programmers [texte imprimé] / Bornat, Richard . - Oxford : Oxford university press, 2005 . - xx - 243 p.. - (Oxford Texts in Logic; 02) .
ISBN : 978-0-19-853027-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:03BXX General logic:03B70 Logic in computer science
68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.)Mots-clés : mathematical logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 16736 03C164 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Proof theory / Takeuti, G.
PermalinkProofs and algorithms / Gilles Dowek
PermalinkRegressive sets and the theory of isols / McLaughlin, Thomas G.
PermalinkSet theory / Kuratowski, K.
PermalinkSet theory / Hausdorff, Felix
PermalinkSet theory and logic / Robert R. Stoll
PermalinkSet theory / Jech, Thomas J.
PermalinkSheaves in geometry and logic / Saunders Mac Lane
PermalinkA shorter model theory / Wilfrid Hodges
PermalinkThe consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory / Gödel, Kurtz
Permalink