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
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
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 Dual tableaux: foundations, methodology, case studies / Ewa Orlowska
Titre : Dual tableaux: foundations, methodology, case studies Type de document : texte imprimé Auteurs : Ewa Orlowska (1935-....), Auteur Editeur : Dordrecht : Springer Netherlands Année de publication : 2011 Collection : Trends in Logic num. 33 Importance : v - 562 p. ISBN/ISSN/EAN : 978-94-007-0005-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03BXX General logic
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F07 Structure of proofsMots-clés : dual tableaux algebra of binary relations relational logic relational database relational reasoning relevant logic information logic fuzzy logic temporal logic logics of programs Index. décimale : 03C Monographie Dual tableaux: foundations, methodology, case studies [texte imprimé] / Ewa Orlowska (1935-....), Auteur . - Dordrecht : Springer Netherlands, 2011 . - v - 562 p.. - (Trends in Logic; 33) .
ISBN : 978-94-007-0005-5
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03BXX General logic
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F07 Structure of proofsMots-clés : dual tableaux algebra of binary relations relational logic relational database relational reasoning relevant logic information logic fuzzy logic temporal logic logics of programs Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21116 03C188 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Einführung in die mathematische logik / H. Hermes
Titre : Einführung in die mathematische logik : klassische prädikatenlogik Type de document : texte imprimé Auteurs : H. Hermes Editeur : Leipzig : B.G. Teubner Année de publication : 1963 Collection : Mathematische Leitfäden Importance : 187 p. Langues : Allemand Mots-clés : mathematical logic Index. décimale : 03C Monographie Einführung in die mathematische logik : klassische prädikatenlogik [texte imprimé] / H. Hermes . - Leipzig : B.G. Teubner, 1963 . - 187 p.. - (Mathematische Leitfäden) .
Langues : Allemand
Mots-clés : mathematical logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9199 03C35 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Einführung in die mathematische logik. Teil I / Asser, G.
Titre : Einführung in die mathematische logik. Teil I : aussagenkalkül Type de document : texte imprimé Auteurs : Asser, G. Editeur : Leipzig : B.G. Teubner Année de publication : 1967 Collection : Mathematisch-Naturwissenschaftliche Bibliothek num. 18 Importance : iv - 184 p. Langues : Allemand 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:03B05 Classical propositional logicMots-clés : logic philosophy foundations of mathematics Index. décimale : 03C Monographie Einführung in die mathematische logik. Teil I : aussagenkalkül [texte imprimé] / Asser, G. . - Leipzig : B.G. Teubner, 1967 . - iv - 184 p.. - (Mathematisch-Naturwissenschaftliche Bibliothek; 18) .
Langues : Allemand
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:03B05 Classical propositional logicMots-clés : logic philosophy foundations of mathematics Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9200 03C34 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Einführung in die mengenlehre und die theorie der reellen funktionen / P. S. Alexandroff
Titre : Einführung in die mengenlehre und die theorie der reellen funktionen Type de document : texte imprimé Auteurs : P. S. Alexandroff ; W. Trad. Richter ; Peschel, M. Editeur : Berlin : Veb Deutscher Verlag der Wissenschaften Année de publication : 1964 Collection : Hochschulbücher für Mathematik num. 023 Importance : Xii - 279 p. Langues : Allemand Langues originales : Russe Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A05 General mathematics
03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
26-XX Real functions :26-01 Instructional exposition (textbooks, tutorial papers, etc.)Mots-clés : real functions mathematical logic Index. décimale : 03C Monographie Einführung in die mengenlehre und die theorie der reellen funktionen [texte imprimé] / P. S. Alexandroff ; W. Trad. Richter ; Peschel, M. . - Berlin : Veb Deutscher Verlag der Wissenschaften, 1964 . - Xii - 279 p.. - (Hochschulbücher für Mathematik; 023) .
Langues : Allemand Langues originales : Russe
Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A05 General mathematics
03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
26-XX Real functions :26-01 Instructional exposition (textbooks, tutorial papers, etc.)Mots-clés : real functions mathematical logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9268 03C129 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Einführung in die operative Logik und Mathematik / Lorenzen, P.
Titre : Einführung in die operative Logik und Mathematik Type de document : texte imprimé Auteurs : Lorenzen, P. Editeur : Springer-Verlag Année de publication : 1955 Collection : Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen num. 78 Importance : 298 p. Langues : Allemand Mots-clés : foundations of mathematics philosophy Index. décimale : 03C Monographie Einführung in die operative Logik und Mathematik [texte imprimé] / Lorenzen, P. . - [S.l.] : Springer-Verlag, 1955 . - 298 p.. - (Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen; 78) .
Langues : Allemand
Mots-clés : foundations of mathematics philosophy Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4470 03C19 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Elementary logic of science and mathematics / Nidditch, P. H.
Titre : Elementary logic of science and mathematics Type de document : texte imprimé Auteurs : Nidditch, P. H. Editeur : London : University Tutorial Press, LTD Année de publication : 1960 Importance : vii - 371 p. Langues : Anglais Mots-clés : foundations of mathematics philosophy elementary logic Index. décimale : 03C Monographie Elementary logic of science and mathematics [texte imprimé] / Nidditch, P. H. . - London : University Tutorial Press, LTD, 1960 . - vii - 371 p.
Langues : Anglais
Mots-clés : foundations of mathematics philosophy elementary logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9188 03C17 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Eléments de logique classique. T. 2 / Chenique, F.
Titre : Eléments de logique classique. T. 2 : L'art de raisonner Type de document : texte imprimé Auteurs : Chenique, F. Editeur : Paris : Dunod Année de publication : 1975 Collection : Série "Logique et Informatique" num. 02 Importance : xxiv - 364 p. - 02-026 ISBN/ISSN/EAN : 978-2-04-000511-5 Langues : Français Mots-clés : elements logique classique Index. décimale : 03C Monographie Eléments de logique classique. T. 2 : L'art de raisonner [texte imprimé] / Chenique, F. . - Paris : Dunod, 1975 . - xxiv - 364 p. - 02-026. - (Série "Logique et Informatique"; 02) .
ISBN : 978-2-04-000511-5
Langues : Français
Mots-clés : elements logique classique Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9249 03C118 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible