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
Surveys in set theory / A. R. D. Mathias
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 22217 03B25 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Sweet reason / Tymoczko, Tom
Titre : Sweet reason : a field guide to modern logic Type de document : texte imprimé Auteurs : Tymoczko, Tom ; Henle, Jim Editeur : New York, NY : Springer Année de publication : 2000 Collection : Texts books in mathematical sciences Importance : xxii - 644 p. ISBN/ISSN/EAN : 978-0-387-98930-3 Langues : Anglais Mots-clés : mathematical logic Index. décimale : IRIN Sweet reason : a field guide to modern logic [texte imprimé] / Tymoczko, Tom ; Henle, Jim . - New York, NY : Springer, 2000 . - xxii - 644 p.. - (Texts books in mathematical sciences) .
ISBN : 978-0-387-98930-3
Langues : Anglais
Mots-clés : mathematical logic Index. décimale : IRIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13005 IRIN/03C62 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Techniques of constructive analysis / Douglas S. Bridges
Titre : Techniques of constructive analysis Type de document : texte imprimé Auteurs : Douglas S. Bridges, Auteur ; Luminita Simona Vîta, Auteur Editeur : London : Springer Année de publication : 2006 Collection : Universitext Importance : xvi - 213 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-0-387-33646-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F60 Constructive and recursive analysis
26-XX Real functions :26EXX Miscellaneous topics :26E40 Constructive real analysisMots-clés : mathematical logic Index. décimale : 03C Monographie Techniques of constructive analysis [texte imprimé] / Douglas S. Bridges, Auteur ; Luminita Simona Vîta, Auteur . - London : Springer, 2006 . - xvi - 213 p. : ill. ; 24 cm. - (Universitext) .
ISBN : 978-0-387-33646-6
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F60 Constructive and recursive analysis
26-XX Real functions :26EXX Miscellaneous topics :26E40 Constructive real analysisMots-clés : mathematical logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19765 03C179 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Temporal logic / Rescher, Nicholas
Titre : Temporal logic Type de document : texte imprimé Auteurs : Rescher, Nicholas ; Urquhart, Alasdair Editeur : Wien : Springer-Verlag Année de publication : 1971 Collection : Library of Exact Philosophy num. 03 Importance : xviii - 273 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B60 Other nonclassical logic Mots-clés : other nonclassical logic Index. décimale : 03C Monographie Temporal logic [texte imprimé] / Rescher, Nicholas ; Urquhart, Alasdair . - Wien : Springer-Verlag, 1971 . - xviii - 273 p. . - (Library of Exact Philosophy; 03) .
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B60 Other nonclassical logic Mots-clés : other nonclassical logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15814 03C153 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Temporal logic of programs / Kröger, Fred
Titre : Temporal logic of programs Type de document : texte imprimé Auteurs : Kröger, Fred Editeur : Springer-Verlag Année de publication : 1987 Collection : EATCS Monographs on Theoretical Computer Science num. 08 Importance : viii - 148 p. ISBN/ISSN/EAN : 978-3-540-17030-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science
68-XX Computer science :68QXX Theory of computing:68Q60 Specification and verification (program logics, model checking, etc.)
68-XX Computer science :68QXX Theory of computing:68Q65 Abstract data types; algebraic specificationMots-clés : sequential programs eventuality properties of programs reasoning about the behavior of programs precedence property invariance property Index. décimale : 03C Monographie Temporal logic of programs [texte imprimé] / Kröger, Fred . - [S.l.] : Springer-Verlag, 1987 . - viii - 148 p.. - (EATCS Monographs on Theoretical Computer Science; 08) .
ISBN : 978-3-540-17030-3
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science
68-XX Computer science :68QXX Theory of computing:68Q60 Specification and verification (program logics, model checking, etc.)
68-XX Computer science :68QXX Theory of computing:68Q65 Abstract data types; algebraic specificationMots-clés : sequential programs eventuality properties of programs reasoning about the behavior of programs precedence property invariance property Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15823 03C154 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible the Axiom of choice / Jech, Thomas J.
Titre : the Axiom of choice Type de document : texte imprimé Auteurs : Jech, Thomas J. Editeur : Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc Année de publication : 1973 Collection : Studies in Logic and The Foundations of Mathematics num. 75 Importance : xi - 202 p. ISBN/ISSN/EAN : 978-0-7204-2275-7 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:03E25 Axiom of choice and related propositions
03-XX Mathematical logic and foundations:03EXX Set theory:03E35 Consistency and independence resultsMots-clés : set theory mathematical logic axiom choice Index. décimale : 03C Monographie the Axiom of choice [texte imprimé] / Jech, Thomas J. . - Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc, 1973 . - xi - 202 p.. - (Studies in Logic and The Foundations of Mathematics; 75) .
ISBN : 978-0-7204-2275-7
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:03E25 Axiom of choice and related propositions
03-XX Mathematical logic and foundations:03EXX Set theory:03E35 Consistency and independence resultsMots-clés : set theory mathematical logic axiom choice Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9221 03C87 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible The blind spot / Jean-Yves Girard
Titre : The blind spot : lectures on logic Type de document : texte imprimé Auteurs : Jean-Yves Girard, Auteur Editeur : European Mathematical Society Année de publication : 2011 Importance : xiii - 537 p. Format : 24 cm ISBN/ISSN/EAN : 978-3-03719-088-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03A05 Philosophical and critical
03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematicsMots-clés : classical logic linear logic geometry of interaction proof theory polarized logic Curry-Howard isomorphism Index. décimale : 03C Monographie The blind spot : lectures on logic [texte imprimé] / Jean-Yves Girard, Auteur . - [S.l.] : European Mathematical Society, 2011 . - xiii - 537 p. ; 24 cm.
ISBN : 978-3-03719-088-3
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03A05 Philosophical and critical
03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematicsMots-clés : classical logic linear logic geometry of interaction proof theory polarized logic Curry-Howard isomorphism Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 20784 03C187 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible the Concept and the role of the model in mathematics and natural and social siences / Vuysje, D. Eds. ; Kazemier, B. H.
Titre : the Concept and the role of the model in mathematics and natural and social siences Titre original : procedings of the Colloquim of the International Union of History and Philosophy of sciences, Utrecht, January 1960 Type de document : texte imprimé Auteurs : Vuysje, D. Eds. ; Kazemier, B. H. Editeur : Dordrecht : D. Reidel Publishing company Année de publication : 1961 Collection : Synthese Library Importance : 194 p. Langues : Anglais Index. décimale : 03B Publication collective the Concept and the role of the model in mathematics and natural and social siences = procedings of the Colloquim of the International Union of History and Philosophy of sciences, Utrecht, January 1960 [texte imprimé] / Vuysje, D. Eds. ; Kazemier, B. H. . - Dordrecht : D. Reidel Publishing company, 1961 . - 194 p.. - (Synthese Library) .
Langues : Anglais
Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9251 03B13 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory / Gödel, Kurtz
Titre : The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory Type de document : texte imprimé Auteurs : Gödel, Kurtz, Auteur Editeur : Princeton : Princeton University Press Année de publication : 1940 Collection : Annals of Mathematics Studies num. 3 Importance : 69 p. Format : 23 cm Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : set theory Foundation logic Index. décimale : 03C Monographie The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory [texte imprimé] / Gödel, Kurtz, Auteur . - Princeton : Princeton University Press, 1940 . - 69 p. ; 23 cm. - (Annals of Mathematics Studies; 3) .
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : set theory Foundation logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 20403 03C182 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible The core model / A. Dodd
Titre : The core model Type de document : texte imprimé Auteurs : A. Dodd, Auteur Editeur : Cambridge University Press Année de publication : 1982 Collection : London Mathematical Society Lecture Note Series. num. 61 Importance : xxxviii - 229 p. Format : 23 cm ISBN/ISSN/EAN : 978-0-521-28530-8 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:03E45 Inner models, including constructibility, ordinal definability, and core models
03-XX Mathematical logic and foundations:03EXX Set theory:03E55 Large cardinalsMots-clés : constructible universe fine structure iterated ultrapowers singular cardinal hypothesis covering theorem combinatorial principles mice generic models Prikry sequences measurable cardinals absolutness results for models of ZFC Index. décimale : 03C Monographie The core model [texte imprimé] / A. Dodd, Auteur . - [S.l.] : Cambridge University Press, 1982 . - xxxviii - 229 p. ; 23 cm. - (London Mathematical Society Lecture Note Series.; 61) .
ISBN : 978-0-521-28530-8
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:03E45 Inner models, including constructibility, ordinal definability, and core models
03-XX Mathematical logic and foundations:03EXX Set theory:03E55 Large cardinalsMots-clés : constructible universe fine structure iterated ultrapowers singular cardinal hypothesis covering theorem combinatorial principles mice generic models Prikry sequences measurable cardinals absolutness results for models of ZFC Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21553 03C189 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible the Development of mathematical logic / Nidditch, P. H.
Titre : the Development of mathematical logic Type de document : texte imprimé Auteurs : Nidditch, P. H. Editeur : London : Routledge & Kegan Paul Ltd Année de publication : 1963 Collection : Monographs in Modern Logic Importance : viii - 88 p. Langues : Anglais Mots-clés : history mathematical logic Index. décimale : 03C Monographie the Development of mathematical logic [texte imprimé] / Nidditch, P. H. . - London : Routledge & Kegan Paul Ltd, 1963 . - viii - 88 p.. - (Monographs in Modern Logic) .
Langues : Anglais
Mots-clés : history mathematical logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9193 03C25 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible the Elements of mathematical logic / Rosenbloom, Paul
Titre : the Elements of mathematical logic Type de document : texte imprimé Auteurs : Rosenbloom, Paul Editeur : New York, NY : Dover Publications Inc. Année de publication : 1950 Importance : iv - 214 p. Langues : Anglais Mots-clés : foundations of mathematics philosophy Index. décimale : 03C Monographie the Elements of mathematical logic [texte imprimé] / Rosenbloom, Paul . - New York, NY : Dover Publications Inc., 1950 . - iv - 214 p.
Langues : Anglais
Mots-clés : foundations of mathematics philosophy Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 11719 03C52 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible The evolution of logic / Wilbur Dyre Hart
Titre : The evolution of logic Type de document : texte imprimé Auteurs : Wilbur Dyre Hart, Auteur Editeur : Cambridge, U.K. : Cambridge Univeristy Press Année de publication : 2010 Collection : The Evolution of Modern Philosophy Importance : xi - 299 p. ISBN/ISSN/EAN : 978-0-521-74772-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) Mots-clés : mathematical logic history Index. décimale : 03C Monographie The evolution of logic [texte imprimé] / Wilbur Dyre Hart, Auteur . - Cambridge, U.K. : Cambridge Univeristy Press, 2010 . - xi - 299 p.. - (The Evolution of Modern Philosophy) .
ISBN : 978-0-521-74772-1
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) Mots-clés : mathematical logic history Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19506 03C177 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible the Foundations of intuitionistic mathematics / Kleene, S. C.
Titre : the Foundations of intuitionistic mathematics : especially in relation to recursive functions Type de document : texte imprimé Auteurs : Kleene, S. C. ; R. E. Vesley Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1965 Collection : Studies in Logic and the Foundations of Mathematics Importance : viii - 206 p. Langues : Anglais Mots-clés : mathematical logic intuitionistic mathematics Index. décimale : 03C Monographie the Foundations of intuitionistic mathematics : especially in relation to recursive functions [texte imprimé] / Kleene, S. C. ; R. E. Vesley . - Amtsterdam : North-Holland Publishing Company, 1965 . - viii - 206 p.. - (Studies in Logic and the Foundations of Mathematics) .
Langues : Anglais
Mots-clés : mathematical logic intuitionistic mathematics Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9201 03C42 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible The foundations of mathematics in the theory of sets / John P. Mayberry
Titre : The foundations of mathematics in the theory of sets Type de document : texte imprimé Auteurs : John P. Mayberry Editeur : Cambridge : Cambridge University Press Année de publication : 2000 Collection : Encyclopedia of Mathematics and Its Applications num. 82 Importance : xx, 424 p. Format : 24 cm ISBN/ISSN/EAN : 978-0-521-77034-7 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03A05 Philosophical and critical
03-XX Mathematical logic and foundations:03EXX Set theory:03E30 Axiomatics of classical set theory and its fragmentsMots-clés : finiteness set theory foundations of mathematics finite set theory Index. décimale : 03C Monographie The foundations of mathematics in the theory of sets [texte imprimé] / John P. Mayberry . - Cambridge : Cambridge University Press, 2000 . - xx, 424 p. ; 24 cm. - (Encyclopedia of Mathematics and Its Applications; 82) .
ISBN : 978-0-521-77034-7
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03A05 Philosophical and critical
03-XX Mathematical logic and foundations:03EXX Set theory:03E30 Axiomatics of classical set theory and its fragmentsMots-clés : finiteness set theory foundations of mathematics finite set theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 18445 03C174 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible