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...![]() | ![]() | ![]() |


Abstract set theory / Skolem, Thoralf A.
Titre : Abstract set theory Type de document : texte imprimé Auteurs : Skolem, Thoralf A. Editeur : Notre Dame, IN : Universiy of Notre Dame Année de publication : 1962 Collection : Notre Dame Mathematical Lectures num. 08 Importance : 70 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : set theory Index. décimale : 03C Monographie Abstract set theory [texte imprimé] / Skolem, Thoralf A. . - Notre Dame, IN : Universiy of Notre Dame, 1962 . - 70 p.. - (Notre Dame Mathematical Lectures; 08) .
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : set theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9269 03C130 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Abstract sets and finite ordinals / Keene, G. B.
Titre : Abstract sets and finite ordinals : an introduction to the study of set theory Type de document : texte imprimé Auteurs : Keene, G. B. Editeur : London : Pergamon Press Année de publication : 1961 Collection : Pure and Applied Mathematics num. 23 Importance : x - 106 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : finite ordinals abstracts sets set theory Index. décimale : 03C Monographie Abstract sets and finite ordinals : an introduction to the study of set theory [texte imprimé] / Keene, G. B. . - London : Pergamon Press, 1961 . - x - 106 p.. - (Pure and Applied Mathematics; 23) .
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : finite ordinals abstracts sets set theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4749 03C123 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Algebraic logic / Paul R. Halmos
Titre : Algebraic logic Type de document : texte imprimé Auteurs : Paul R. Halmos Editeur : New York, NY : Chelsea publishing company Année de publication : 1962 Importance : 257 p. Langues : Anglais Mots-clés : mathematical logic philosophy foundations Index. décimale : 03C Monographie Algebraic logic [texte imprimé] / Paul R. Halmos . - New York, NY : Chelsea publishing company, 1962 . - 257 p.
Langues : Anglais
Mots-clés : mathematical logic philosophy foundations Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4499 03C68 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Algèbre des ensembles algèbre / Choquet, M.
Titre : Algèbre des ensembles algèbre Type de document : texte imprimé Auteurs : Choquet, M. Editeur : Paris : Centre de Documentation Universitaire - Paris V Année de publication : 1963 Collection : Les Cours de Sorbonne Importance : vi - 79 p. Note générale : Certificat d'Etudes Supérieures de Calcul Différentiel et Intégral Langues : Français Mots-clés : set theory Index. décimale : 03C Monographie Algèbre des ensembles algèbre [texte imprimé] / Choquet, M. . - Paris : Centre de Documentation Universitaire - Paris V, 1963 . - vi - 79 p.. - (Les Cours de Sorbonne) .
Certificat d'Etudes Supérieures de Calcul Différentiel et Intégral
Langues : Français
Mots-clés : set theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9271 03C137 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible 20370 03C137 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Algèbre1 / Exbrayat, J. M.
Titre : Algèbre1 : notions fondamentales de la théorie des ensembles Type de document : texte imprimé Auteurs : Exbrayat, J. M. ; Pierre Mazet Editeur : Paris : Hatier-Universite Année de publication : 1971 Collection : Notions modernes de mathematiques Importance : 127 p. Langues : Français Mots-clés : set theory Index. décimale : 03C Monographie Algèbre1 : notions fondamentales de la théorie des ensembles [texte imprimé] / Exbrayat, J. M. ; Pierre Mazet . - Paris : Hatier-Universite, 1971 . - 127 p.. - (Notions modernes de mathematiques) .
Langues : Français
Mots-clés : set theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17530 03C138 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible 12174 03C138 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible 622 03C138 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible 623 03C138 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Allgemeine mengenlehre / Klaua, D.
Titre : Allgemeine mengenlehre : ein fundament der mathematik Type de document : texte imprimé Auteurs : Klaua, D. Editeur : Berlin : Akademie-Verlag Année de publication : 1964 Collection : Mathematische Lehrbücher und Monographien num. 10 Importance : Viii - 581 p. Langues : Allemand Mots-clés : set theory Index. décimale : 03C Monographie Allgemeine mengenlehre : ein fundament der mathematik [texte imprimé] / Klaua, D. . - Berlin : Akademie-Verlag, 1964 . - Viii - 581 p.. - (Mathematische Lehrbücher und Monographien; 10) .
Langues : Allemand
Mots-clés : set theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9267 03C imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible an Algebraic approach to non-classical logics / Rasiowa, H.
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9224 03C81 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible an Introduction to mathematical logic and type theory / P. B. Andrews
Titre : an Introduction to mathematical logic and type theory : to truth through proof Type de document : texte imprimé Auteurs : P. B. Andrews Mention d'édition : 2nd ed. Editeur : Springer-Verlag Année de publication : 2002 Collection : Applied Logic Series num. 27 Importance : xviii - 408 p. ISBN/ISSN/EAN : 978-1-4020-0763-7 Note générale : commande M. Borer 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:03B10 Classical first-order logic
03-XX Mathematical logic and foundations:03BXX General logic:03B15 Higher-order logic and type theoryMots-clés : propositional logic type theory first-order logic Index. décimale : 03C Monographie an Introduction to mathematical logic and type theory : to truth through proof [texte imprimé] / P. B. Andrews . - 2nd ed. . - [S.l.] : Springer-Verlag, 2002 . - xviii - 408 p.. - (Applied Logic Series; 27) .
ISBN : 978-1-4020-0763-7
commande M. Borer
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:03B10 Classical first-order logic
03-XX Mathematical logic and foundations:03BXX General logic:03B15 Higher-order logic and type theoryMots-clés : propositional logic type theory first-order logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17760 03C167 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible an Introduction to modal logic / Hughes, G.D.
Titre : an Introduction to modal logic Type de document : texte imprimé Auteurs : Hughes, G.D. ; Cresswell, M.J. Editeur : London : Methuen Année de publication : 1968 Collection : University Paperbacks num. 431 Importance : xii - 388 p. ISBN/ISSN/EAN : 978-0-416-29460-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic Mots-clés : modal logic predicate logic propositional logic Index. décimale : 03C Monographie an Introduction to modal logic [texte imprimé] / Hughes, G.D. ; Cresswell, M.J. . - London : Methuen, 1968 . - xii - 388 p.. - (University Paperbacks; 431) .
ISBN : 978-0-416-29460-6
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic Mots-clés : modal logic predicate logic propositional logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15963 03C157 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Analyse non standard / Robert, Aline
Titre : Analyse non standard Type de document : texte imprimé Auteurs : Robert, Aline Editeur : Lausanne : Presses Polytechniques Romandes Année de publication : 1985 Importance : xvii - 118 p. ISBN/ISSN/EAN : 978-2-88074-072-6 Langues : Français Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03HXX Nonstandard models :03H05 Nonstandard models in mathematics
26-XX Real functions :26EXX Miscellaneous topics :26E35 Nonstandard analysisMots-clés : invariant mean schr?ger equation stone-weierstra?theorem invariant subspace internal set theory infinitesimals nonstandard analysis Index. décimale : 03C Monographie Analyse non standard [texte imprimé] / Robert, Aline . - Lausanne : Presses Polytechniques Romandes, 1985 . - xvii - 118 p.
ISBN : 978-2-88074-072-6
Langues : Français
Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03HXX Nonstandard models :03H05 Nonstandard models in mathematics
26-XX Real functions :26EXX Miscellaneous topics :26E35 Nonstandard analysisMots-clés : invariant mean schr?ger equation stone-weierstra?theorem invariant subspace internal set theory infinitesimals nonstandard analysis Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9248 03C122 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Analyzable functions and applications / O. Ed. Costin
Titre : Analyzable functions and applications Titre original : international workshop, Edinburgh, UK, June 17--21, 2002 Type de document : texte imprimé Auteurs : O. Ed. Costin ; Macintyre, A. Eds ; Kruskal, M.D. Editeur : Providence, R.I. : American Mathematical Society Année de publication : 2005 Collection : Contemporary Mathematics, ISSN 0271-4132 num. 373 Importance : vii - 371 p. ISBN/ISSN/EAN : 978-0-8218-3419-0 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B15 Collections of articles of miscellaneous specific content
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.
34-XX Ordinary differential equations:34-06 Proceedings, conferences, collections, etc.Mots-clés : field theory ordinary differential equations mathematical logic Index. décimale : 03B Publication collective Analyzable functions and applications = international workshop, Edinburgh, UK, June 17--21, 2002 [texte imprimé] / O. Ed. Costin ; Macintyre, A. Eds ; Kruskal, M.D. . - Providence, R.I. : American Mathematical Society, 2005 . - vii - 371 p. . - (Contemporary Mathematics, ISSN 0271-4132; 373) .
ISBN : 978-0-8218-3419-0
Langues : Anglais
Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B15 Collections of articles of miscellaneous specific content
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.
34-XX Ordinary differential equations:34-06 Proceedings, conferences, collections, etc.Mots-clés : field theory ordinary differential equations mathematical logic Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 16928 03B15 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Applications of model theory to algebra. analysis and probability / OFFICE OF NAVAL RESEARCH
Titre : Applications of model theory to algebra. analysis and probability Type de document : texte imprimé Auteurs : OFFICE OF NAVAL RESEARCH ; W. A. J. Luxemburg Editeur : New York, NY : Holt, Rinehart and Winston Année de publication : 1969 Importance : VII-307 Langues : Anglais Mots-clés : general mathematics Index. décimale : 03C Monographie Applications of model theory to algebra. analysis and probability [texte imprimé] / OFFICE OF NAVAL RESEARCH ; W. A. J. Luxemburg . - New York, NY : Holt, Rinehart and Winston, 1969 . - VII-307.
Langues : Anglais
Mots-clés : general mathematics Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4483 03C65 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Aristotle's modal syllogisms / McCall, S.
Titre : Aristotle's modal syllogisms Type de document : texte imprimé Auteurs : McCall, S. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1963 Collection : Studies in Logic and the Foundations of Mathematics Importance : viii - 100 p. Langues : Anglais Mots-clés : mathematical logic modal syllogisms Index. décimale : 03C Monographie Aristotle's modal syllogisms [texte imprimé] / McCall, S. . - Amtsterdam : North-Holland Publishing Company, 1963 . - viii - 100 p.. - (Studies in Logic and the Foundations of Mathematics) .
Langues : Anglais
Mots-clés : mathematical logic modal syllogisms Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9197 03C39 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Around the Zilber-Pink conjecture / Philipp Habegger
Titre : Around the Zilber-Pink conjecture Type de document : texte imprimé Auteurs : Philipp Habegger, Auteur ; Gaël Remond, Auteur ; Thomas Scanlon, Auteur Editeur : Paris : Société mathématique de France Année de publication : 2017 Collection : Panoramas et synthèses, ISSN 1272-3835 num. 52 Importance : xiv+ - 284 p. ISBN/ISSN/EAN : 978-2-85629-856-5 Langues : Français Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C64 Model theory of ordered structures; o-minimality
11-XX Number theory:11GXX Arithmetic algebraic geometry (Diophantine geometry) :11G10 Abelian varieties of dimension $>1$
11-XX Number theory:11GXX Arithmetic algebraic geometry (Diophantine geometry) :11G15 Complex multiplication and moduli of abelian varietiesIndex. décimale : 03B Publication collective Around the Zilber-Pink conjecture [texte imprimé] / Philipp Habegger, Auteur ; Gaël Remond, Auteur ; Thomas Scanlon, Auteur . - Paris : Société mathématique de France, 2017 . - xiv+ - 284 p.. - (Panoramas et synthèses, ISSN 1272-3835; 52) .
ISBN : 978-2-85629-856-5
Langues : Français Anglais
Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C64 Model theory of ordered structures; o-minimality
11-XX Number theory:11GXX Arithmetic algebraic geometry (Diophantine geometry) :11G10 Abelian varieties of dimension $>1$
11-XX Number theory:11GXX Arithmetic algebraic geometry (Diophantine geometry) :11G15 Complex multiplication and moduli of abelian varietiesIndex. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 22215 03B24 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit / H. Hermes
Titre : Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : einführung in die Theorie der rekursiven Funktionen Type de document : texte imprimé Auteurs : H. Hermes Editeur : Springer-Verlag Année de publication : 1961 Collection : Die Grundlehren der Mathematischen Wissenschaften num. 109 Importance : ix - 245 p. Langues : Allemand Mots-clés : recursive functions mathematical logic Index. décimale : 03C Monographie Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : einführung in die Theorie der rekursiven Funktionen [texte imprimé] / H. Hermes . - [S.l.] : Springer-Verlag, 1961 . - ix - 245 p.. - (Die Grundlehren der Mathematischen Wissenschaften; 109) .
Langues : Allemand
Mots-clés : recursive functions mathematical logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3810 03C30 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible