A partir de cette page vous pouvez :
Retourner au premier écran avec les recherches... |
. CRDM
03/MATHEMATICAL LOGIC AND FOUNDATIONS > Monographie
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19856 03C180 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Constructibility / Devlin, Keith J.
Titre : Constructibility Type de document : texte imprimé Auteurs : Devlin, Keith J. Editeur : Springer-Verlag Année de publication : 1984 Collection : Perspectives in Mathematical Logic Importance : xi - 425 p. ISBN/ISSN/EAN : 978-0-387-13258-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:03E05 Other combinatorial set theory
03-XX Mathematical logic and foundations:03EXX Set theory:03E45 Inner models, including constructibility, ordinal definability, and core modelsMots-clés : morasses covering theorem large cardinals silver machines combinatorial principles fine structure of l constructible universe constructible hierarchy constructible sets axiom of choice generalized continuum hypothesis Index. décimale : 03C Monographie Constructibility [texte imprimé] / Devlin, Keith J. . - [S.l.] : Springer-Verlag, 1984 . - xi - 425 p.. - (Perspectives in Mathematical Logic) .
ISBN : 978-0-387-13258-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:03E05 Other combinatorial set theory
03-XX Mathematical logic and foundations:03EXX Set theory:03E45 Inner models, including constructibility, ordinal definability, and core modelsMots-clés : morasses covering theorem large cardinals silver machines combinatorial principles fine structure of l constructible universe constructible hierarchy constructible sets axiom of choice generalized continuum hypothesis Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13147 03C110 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Constructible sets with applications / Mostowski, A.
Titre : Constructible sets with applications Type de document : texte imprimé Auteurs : Mostowski, A. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1969 Collection : Studies in Logic and the Foundations of Mathematics Importance : ix - 269 p. Langues : Anglais Mots-clés : set theory Index. décimale : 03C Monographie Constructible sets with applications [texte imprimé] / Mostowski, A. . - Amtsterdam : North-Holland Publishing Company, 1969 . - ix - 269 p.. - (Studies in Logic and the Foundations of Mathematics) .
Langues : Anglais
Mots-clés : set theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4497 03C88 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Constructive analysis / Errett Bishop
Titre : Constructive analysis Type de document : texte imprimé Auteurs : Errett Bishop ; Douglas S. Bridges Editeur : Springer-Verlag Année de publication : 1985 Collection : Grundlehren der Mathematischen Wissenschaften num. 279 Importance : xii - 477 p. ISBN/ISSN/EAN : 978-3-540-15066-4 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:03F65 Other constructive mathematics
46-XX Functional analysis :46SXX Other (nonclassical) types of functional analysis :46S30 Constructive functional analysisMots-clés : riemann mapping theorem banach algebra s integration theory Index. décimale : 03C Monographie Constructive analysis [texte imprimé] / Errett Bishop ; Douglas S. Bridges . - [S.l.] : Springer-Verlag, 1985 . - xii - 477 p.. - (Grundlehren der Mathematischen Wissenschaften; 279) .
ISBN : 978-3-540-15066-4
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:03F65 Other constructive mathematics
46-XX Functional analysis :46SXX Other (nonclassical) types of functional analysis :46S30 Constructive functional analysisMots-clés : riemann mapping theorem banach algebra s integration theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 106 03C121 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Constructive real numbers and function spaces / Sanin, N. A.
Titre : Constructive real numbers and function spaces Type de document : texte imprimé Auteurs : Sanin, N. A. ; Mendelson, E. Trad. Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1968 Collection : Translations of Mathematical Monographs num. 21 Importance : iv - 325 p. Langues : Anglais Langues originales : Russe Mots-clés : function spaces real numbers Index. décimale : 03C Monographie Constructive real numbers and function spaces [texte imprimé] / Sanin, N. A. ; Mendelson, E. Trad. . - Providence, R.I. : American Mathematical Society, 1968 . - iv - 325 p.. - (Translations of Mathematical Monographs; 21) .
Langues : Anglais Langues originales : Russe
Mots-clés : function spaces real numbers Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9247 03C113 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Continuous model theory / Chang, Chen C.
Titre : Continuous model theory Type de document : texte imprimé Auteurs : Chang, Chen C. ; Keisler, H. Jerome Editeur : Princeton : Princeton University Press Année de publication : 1966 Collection : Annals of Mathematics Studies num. 58 Importance : xii - 165 p. Langues : Anglais Mots-clés : mathematical logic Index. décimale : 03C Monographie Continuous model theory [texte imprimé] / Chang, Chen C. ; Keisler, H. Jerome . - Princeton : Princeton University Press, 1966 . - xii - 165 p.. - (Annals of Mathematics Studies; 58) .
Langues : Anglais
Mots-clés : mathematical logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4495 03C114 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Contributions to logic and methodology in honor of J. M. Bochenski / A. T. Ed. Tymieniecka
Titre : Contributions to logic and methodology in honor of J. M. Bochenski Type de document : texte imprimé Auteurs : A. T. Ed. Tymieniecka Editeur : Amsterdam : North-holland publishing company Année de publication : 1965 Collection : Contributions to logic and methodology Importance : xviii - 326 p. Langues : Anglais Mots-clés : general mathematics Index. décimale : 03C Monographie Contributions to logic and methodology in honor of J. M. Bochenski [texte imprimé] / A. T. Ed. Tymieniecka . - Amsterdam : North-holland publishing company, 1965 . - xviii - 326 p.. - (Contributions to logic and methodology) .
Langues : Anglais
Mots-clés : general mathematics Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9204 03C45 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Cours de logique elémentaire / Lacombe, D.
Titre : Cours de logique elémentaire Type de document : texte imprimé Auteurs : Lacombe, D. Editeur : Paris : Université de Paris VII Année de publication : 1971 Importance : pag. mult. Langues : Français Mots-clés : general logic Index. décimale : 03C Monographie Cours de logique elémentaire [texte imprimé] / Lacombe, D. . - Paris : Université de Paris VII, 1971 . - pag. mult.
Langues : Français
Mots-clés : general logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9215 03C78 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible a Course in mathematical logic / Yuri Ivanovich Manin
Titre : a Course in mathematical logic Type de document : texte imprimé Auteurs : Yuri Ivanovich Manin Editeur : New York, NY : Springer Année de publication : 1977 Collection : Graduate Texts in Mathematics num. 53 Importance : xiv - 286 p. ISBN/ISSN/EAN : 978-0-387-90243-2 Langues : Anglais Langues originales : Russe 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:03B10 Classical first-order logicMots-clés : quantum logic mathematical logic Index. décimale : 03C Monographie a Course in mathematical logic [texte imprimé] / Yuri Ivanovich Manin . - New York, NY : Springer, 1977 . - xiv - 286 p.. - (Graduate Texts in Mathematics; 53) .
ISBN : 978-0-387-90243-2
Langues : Anglais Langues originales : Russe
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:03B10 Classical first-order logicMots-clés : quantum logic mathematical logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1200 03C08 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible 1199 03C08 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible A course in mathematical logic for mathematicians / Yuri Ivanovich Manin
Titre : A course in mathematical logic for mathematicians Type de document : texte imprimé Auteurs : Yuri Ivanovich Manin, Auteur Mention d'édition : 2nd ed. Editeur : New York, NY : Springer Année de publication : 2010 Collection : Graduate Texts in Mathematics num. 53 Importance : xvii - 384 p. Format : 25 cm ISBN/ISSN/EAN : 978-1-4419-0614-4 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:03B10 Classical first-order logicMots-clés : mathematical logic textbook provability truth deducibility continuum problem forcing completeness incompleteness constructible sets computability recursive functions Church's thesis Diophantine sets algorithmic undecidability recursive groups constructive universe model theory classification theory stability theory compactness Index. décimale : 03C Monographie A course in mathematical logic for mathematicians [texte imprimé] / Yuri Ivanovich Manin, Auteur . - 2nd ed. . - New York, NY : Springer, 2010 . - xvii - 384 p. ; 25 cm. - (Graduate Texts in Mathematics; 53) .
ISBN : 978-1-4419-0614-4
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:03B10 Classical first-order logicMots-clés : mathematical logic textbook provability truth deducibility continuum problem forcing completeness incompleteness constructible sets computability recursive functions Church's thesis Diophantine sets algorithmic undecidability recursive groups constructive universe model theory classification theory stability theory compactness Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 20561 03C184 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible a Course in Model Theory / Poizat, B.
Titre : a Course in Model Theory : an Introduction to Contemporary Mathematical Logic Type de document : texte imprimé Auteurs : Poizat, B. ; Klein, M. Trad. Editeur : London : Springer Année de publication : 2000 Collection : Universitext ISBN/ISSN/EAN : 978-0-387-98655-5 Langues : Anglais Langues originales : Français 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:03CXX Model theory:03C07 Basic properties of first-order languages and structures
03-XX Mathematical logic and foundations:03CXX Model theory:03C45 Classification theory, stability and related conceptsMots-clés : l?heim-skolem-tarski theorems elementary extensions first-order language local isomorphisms between structures stability theory model theory Index. décimale : 03C Monographie a Course in Model Theory : an Introduction to Contemporary Mathematical Logic [texte imprimé] / Poizat, B. ; Klein, M. Trad. . - London : Springer, 2000. - (Universitext) .
ISBN : 978-0-387-98655-5
Langues : Anglais Langues originales : Français
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:03CXX Model theory:03C07 Basic properties of first-order languages and structures
03-XX Mathematical logic and foundations:03CXX Model theory:03C45 Classification theory, stability and related conceptsMots-clés : l?heim-skolem-tarski theorems elementary extensions first-order language local isomorphisms between structures stability theory model theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13857 03C03 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Déduction formelle et calculs logiques / V. A. Smirnov
Titre : Déduction formelle et calculs logiques Type de document : texte imprimé Auteurs : V. A. Smirnov Editeur : Moscou : Sciences Naouka Année de publication : 1972 Importance : 271 p. Note générale : Don de Monsieur Andronikov Langues : Russe Mots-clés : logique Index. décimale : 03C Monographie Déduction formelle et calculs logiques [texte imprimé] / V. A. Smirnov . - Moscou : Sciences Naouka, 1972 . - 271 p.
Don de Monsieur Andronikov
Langues : Russe
Mots-clés : logique Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3139 03C54 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Degrees of unsolvability / Joseph R. Shoenfield
Titre : Degrees of unsolvability Type de document : texte imprimé Auteurs : Joseph R. Shoenfield Editeur : Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc Année de publication : 1971 Collection : Mathematics Studies num. 02 Importance : 111 p. ISBN/ISSN/EAN : 978-0-7204-2061-6 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:03D30 Other degrees and reducibilitiesMots-clés : degrees mathematical logic Index. décimale : 03C Monographie Degrees of unsolvability [texte imprimé] / Joseph R. Shoenfield . - Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc, 1971 . - 111 p.. - (Mathematics Studies; 02) .
ISBN : 978-0-7204-2061-6
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:03D30 Other degrees and reducibilitiesMots-clés : degrees mathematical logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9217 03C83 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Degrees of unsolvability / Sacks, Gerald E.
Titre : Degrees of unsolvability Type de document : texte imprimé Auteurs : Sacks, Gerald E. Mention d'édition : 2nd ed. Editeur : Princeton : Princeton University Press Année de publication : 1966 Collection : Annals of Mathematics Studies num. 55 Importance : ix -174 p. Langues : Anglais Mots-clés : mathematical logic Index. décimale : 03C Monographie Degrees of unsolvability [texte imprimé] / Sacks, Gerald E. . - 2nd ed. . - Princeton : Princeton University Press, 1966 . - ix -174 p.. - (Annals of Mathematics Studies; 55) .
Langues : Anglais
Mots-clés : mathematical logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4479 03C75 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible le Démontrable et l'indémontrable / Manine, I.
Titre : le Démontrable et l'indémontrable Type de document : texte imprimé Auteurs : Manine, I. Editeur : Moscou : Radio soviétique Année de publication : 1979 Importance : 165 p. Note générale : Don de Monsieur Andronikov Langues : Russe Mots-clés : logique Index. décimale : 03C Monographie le Démontrable et l'indémontrable [texte imprimé] / Manine, I. . - Moscou : Radio soviétique, 1979 . - 165 p.
Don de Monsieur Andronikov
Langues : Russe
Mots-clés : logique Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3140 03C53 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible