A partir de cette page vous pouvez :
Retourner au premier écran avec les recherches... |
. CRDM
03/MATHEMATICAL LOGIC AND FOUNDATIONS > Publication collective
Analyzable functions and applications / O. Ed. Costin
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 16928 03B15 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 Automata on infinite objects and church's problem / Michael O. Rabin
Titre : Automata on infinite objects and church's problem Type de document : texte imprimé Auteurs : Michael O. Rabin Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1972 Collection : Conference Board of the Mathematical Sciences - Regional Conference Series in Mathematics, ISSN 0160-7642 num. 13 Importance : 22 p. ISBN/ISSN/EAN : 978-0-8218-1663-9 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences
03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D05 Automata and formal grammars in connection with logical questions
68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automataMots-clés : formal languages automata theory in connection with logical questions church's problem Index. décimale : 03B Publication collective Automata on infinite objects and church's problem [texte imprimé] / Michael O. Rabin . - Providence, R.I. : American Mathematical Society, 1972 . - 22 p.. - (Conference Board of the Mathematical Sciences - Regional Conference Series in Mathematics, ISSN 0160-7642; 13) .
ISBN : 978-0-8218-1663-9
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences
03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D05 Automata and formal grammars in connection with logical questions
68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automataMots-clés : formal languages automata theory in connection with logical questions church's problem Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9236 03B09 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Axiomatic set theory / Jech, Thomas J.
Titre : Axiomatic set theory Titre original : proceedings of the symposium in pure mathematics of the American Mathematical Society, held at the University of California, Los Angeles, California, July 10-August 5, 1967 Type de document : texte imprimé Auteurs : Jech, Thomas J., Editeur scientifique Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1974 Collection : Proceedings of Symposia in Pure Mathematics num. 13-2 Importance : 222 p. ISBN/ISSN/EAN : 978-0-8218-0246-5 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.Mots-clés : los angeles (usa) proceedings axiomatic set theory mathematical logic Index. décimale : 03B Publication collective Axiomatic set theory = proceedings of the symposium in pure mathematics of the American Mathematical Society, held at the University of California, Los Angeles, California, July 10-August 5, 1967 [texte imprimé] / Jech, Thomas J., Editeur scientifique . - Providence, R.I. : American Mathematical Society, 1974 . - 222 p.. - (Proceedings of Symposia in Pure Mathematics; 13-2) .
ISBN : 978-0-8218-0246-5
Langues : Anglais
Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.Mots-clés : los angeles (usa) proceedings axiomatic set theory mathematical logic Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15847 03B12 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible 9241 03B12 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Axiomatic set theory / Dana S. Scott
Titre : Axiomatic set theory Titre original : proceedings of the symposium in pure mathematics of the American Mathematical Society. Held at the University of California, Los Angeles, California, July 10-August 5, 1967 Type de document : texte imprimé Auteurs : Dana S. Scott, Editeur scientifique Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1971 Collection : Proceedings of Symposia in Pure Mathematics num. 13-1 Importance : v - 474 p. ISBN/ISSN/EAN : 978-0-8218-0245-8 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest
03-XX Mathematical logic and foundations:03EXX Set theoryMots-clés : los angeles (usa) proceedings axiomatic set theory mathematical logic Index. décimale : 03B Publication collective Axiomatic set theory = proceedings of the symposium in pure mathematics of the American Mathematical Society. Held at the University of California, Los Angeles, California, July 10-August 5, 1967 [texte imprimé] / Dana S. Scott, Editeur scientifique . - Providence, R.I. : American Mathematical Society, 1971 . - v - 474 p.. - (Proceedings of Symposia in Pure Mathematics; 13-1) .
ISBN : 978-0-8218-0245-8
Langues : Anglais
Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest
03-XX Mathematical logic and foundations:03EXX Set theoryMots-clés : los angeles (usa) proceedings axiomatic set theory mathematical logic Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15846 03B11 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible 9243 03B11 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible 9242 03B11 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Changing models
Titre : Changing models Type de document : texte imprimé Auteurs : Guido Antonio Rossi, Editeur : Torino : Levrotto & Bella Année de publication : impr. 2005. Importance : 1 vol. (185 p.) Présentation : fig., tabl. Format : 24 cm. ISBN/ISSN/EAN : 88-8218-118-9 Langues : Anglais Index. décimale : 03B Publication collective Changing models [texte imprimé] / Guido Antonio Rossi, . - Torino : Levrotto & Bella, impr. 2005. . - 1 vol. (185 p.) : fig., tabl. ; 24 cm.
ISBN : 88-8218-118-9
Langues : Anglais
Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17961 03B17 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Contributions to non-standard analysis / Robinson, A. ; W. A. J. Luxemburg
Titre : Contributions to non-standard analysis Type de document : texte imprimé Auteurs : Robinson, A. ; W. A. J. Luxemburg Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1972 Collection : Studies in Logic and the Foundations of Mathematics num. 69 Importance : vi - 289 p. Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.Mots-clés : studies logic contribution non-standard analysis Index. décimale : 03B Publication collective Contributions to non-standard analysis [texte imprimé] / Robinson, A. ; W. A. J. Luxemburg . - Amtsterdam : North-Holland Publishing Company, 1972 . - vi - 289 p.. - (Studies in Logic and the Foundations of Mathematics; 69) .
Langues : Anglais
Catégories : 00-XX General:00BXX Conference proceedings and collections of papers
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.Mots-clés : studies logic contribution non-standard analysis Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4482 03B04 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Generalized recursion theory / Hinman, P. G. Eds. ; Fenstad, J. E.
Titre : Generalized recursion theory Titre original : proceedings of the 1972 Oslo symposium Type de document : texte imprimé Auteurs : Hinman, P. G. Eds. ; Fenstad, J. E. Editeur : Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc Année de publication : 1974 Collection : Studies in Logic and The Foundations of Mathematics num. 79 Importance : viii - 456 p. ISBN/ISSN/EAN : 978-0-7204-2276-4 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.
03-XX Mathematical logic and foundations:03DXX Computability and recursion theoryMots-clés : oslo proceedings mathematical logic recursion theory Index. décimale : 03B Publication collective Generalized recursion theory = proceedings of the 1972 Oslo symposium [texte imprimé] / Hinman, P. G. Eds. ; Fenstad, J. E. . - Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc, 1974 . - viii - 456 p.. - (Studies in Logic and The Foundations of Mathematics; 79) .
ISBN : 978-0-7204-2276-4
Langues : Anglais
Catégories : 00-XX General:00BXX Conference proceedings and collections of papers
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.
03-XX Mathematical logic and foundations:03DXX Computability and recursion theoryMots-clés : oslo proceedings mathematical logic recursion theory Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9227 03B08 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Interactive models of computation and program behavior / Pierre-Louis Curien
Titre : Interactive models of computation and program behavior Type de document : texte imprimé Auteurs : Pierre-Louis Curien, Auteur ; Hugo Herbelin, Auteur ; Krivine, Jean-Louis, Auteur Editeur : Paris : Société mathématique de France Année de publication : 2009 Collection : Panoramas et synthèses, ISSN 1272-3835 num. 27 Importance : xvi, 275 p. Présentation : fig. Format : 24 cm ISBN/ISSN/EAN : 978-2-85629-273-0 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F05 Cut-elimination and normal-form theorems
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F52 Linear logic and other substructural logics
68-XX Computer science :68QXX Theory of computing:68Q55 SemanticsMots-clés : proof theory realisability abstract machines linear logic game semantics Index. décimale : 03B Publication collective Interactive models of computation and program behavior [texte imprimé] / Pierre-Louis Curien, Auteur ; Hugo Herbelin, Auteur ; Krivine, Jean-Louis, Auteur . - Paris : Société mathématique de France, 2009 . - xvi, 275 p. : fig. ; 24 cm. - (Panoramas et synthèses, ISSN 1272-3835; 27) .
ISBN : 978-2-85629-273-0
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F05 Cut-elimination and normal-form theorems
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F52 Linear logic and other substructural logics
68-XX Computer science :68QXX Theory of computing:68Q55 SemanticsMots-clés : proof theory realisability abstract machines linear logic game semantics Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 18890 03B18 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible 21864 03B18 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Lambda calculus with types / Henk Barendregt
Titre : Lambda calculus with types : With contributions from Fabio Alessi, Henk Barendregt, Marc Bezem, Felice Cardone, Mario Coppo, Wil Dekkers, Mariangiola Dezani-Ciancaglini, Gilles Dowek, Silvia Ghilezan, Furio Honsell, Michael Moortgat, Paula Severi, Richard Statman, Pawe? Urzyczyn Type de document : texte imprimé Auteurs : Henk Barendregt, Auteur ; Wil Dekkers, Auteur ; Richard Statman, Auteur Editeur : Cambridge University Press Année de publication : 2013 Collection : Perspectives in Logic Importance : xxii - 833 p. ISBN/ISSN/EAN : 978-0-521-76614-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus
03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer scienceMots-clés : mathematical logic Lambda calculus Index. décimale : 03B Publication collective Lambda calculus with types : With contributions from Fabio Alessi, Henk Barendregt, Marc Bezem, Felice Cardone, Mario Coppo, Wil Dekkers, Mariangiola Dezani-Ciancaglini, Gilles Dowek, Silvia Ghilezan, Furio Honsell, Michael Moortgat, Paula Severi, Richard Statman, Pawe? Urzyczyn [texte imprimé] / Henk Barendregt, Auteur ; Wil Dekkers, Auteur ; Richard Statman, Auteur . - [S.l.] : Cambridge University Press, 2013 . - xxii - 833 p.. - (Perspectives in Logic) .
ISBN : 978-0-521-76614-2
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus
03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer scienceMots-clés : mathematical logic Lambda calculus Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21126 03B20 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Linear logic in computer science / thomas Ehrhard ; Ruet, Paul ; Jean-Yves Girard ; Philip Scott
Titre : Linear logic in computer science Titre original : based on the Azores summer school on linear logic and computer science, St. Miguel, Azores, Portugal, August 30--September 7, 2000 Type de document : texte imprimé Auteurs : thomas Ehrhard ; Ruet, Paul ; Jean-Yves Girard ; Philip Scott, Editeur scientifique Editeur : Cambridge University Press Année de publication : 2004 Collection : London Mathematical Society Lecture Note Series. num. 316 Importance : x - 381 p. ISBN/ISSN/EAN : 978-0-521-60857-2 Note générale : commande C. Anné Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.
68-XX Computer science :68-06 Proceedings, conferences, collections, etc.Mots-clés : st. miguel, azores (portugal) conferences summer school computer science mathematical logic Index. décimale : 03B Publication collective Linear logic in computer science = based on the Azores summer school on linear logic and computer science, St. Miguel, Azores, Portugal, August 30--September 7, 2000 [texte imprimé] / thomas Ehrhard ; Ruet, Paul ; Jean-Yves Girard ; Philip Scott, Editeur scientifique . - [S.l.] : Cambridge University Press, 2004 . - x - 381 p.. - (London Mathematical Society Lecture Note Series.; 316) .
ISBN : 978-0-521-60857-2
commande C. Anné
Langues : Anglais
Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.
68-XX Computer science :68-06 Proceedings, conferences, collections, etc.Mots-clés : st. miguel, azores (portugal) conferences summer school computer science mathematical logic Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17667 03B16 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Mathematical logic and foundations of set theory
Titre : Mathematical logic and foundations of set theory Titre original : proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968 Type de document : texte imprimé Auteurs : Y. Bar-Hillel, Editeur scientifique Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1970 Collection : Studies in Logic and the Foundations of Mathematics Importance : 145 p. ISBN/ISSN/EAN : 720422558 Langues : Anglais Mots-clés : jerusalem (israel) proceedings set theory mathematical logic Index. décimale : 03B Publication collective Mathematical logic and foundations of set theory = proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968 [texte imprimé] / Y. Bar-Hillel, Editeur scientifique . - Amtsterdam : North-Holland Publishing Company, 1970 . - 145 p.. - (Studies in Logic and the Foundations of Mathematics) .
ISSN : 720422558
Langues : Anglais
Mots-clés : jerusalem (israel) proceedings set theory mathematical logic Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9222 03B03 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Mathematical logic / R. Eds. Chuaqui ; Da Costa, Newton C. A. ; Arruda, Ayda I.
Titre : Mathematical logic Titre original : proceedings of the first Brazilian conference on mathematical logic, held at the State University of Campinas, Brazil, from 4 to 6 July 1977 Type de document : texte imprimé Auteurs : R. Eds. Chuaqui ; Da Costa, Newton C. A. ; Arruda, Ayda I. Editeur : New Yok : Marcel Dekker, Inc Année de publication : 1978 Collection : Lecture Notes in Pure and Applied Mathematics num. 39 Importance : xii - 303 p. ISBN/ISSN/EAN : 978-0-8247-6772-3 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.Mots-clés : campinas, brasil conference proceedings mathematical logic Index. décimale : 03B Publication collective Mathematical logic = proceedings of the first Brazilian conference on mathematical logic, held at the State University of Campinas, Brazil, from 4 to 6 July 1977 [texte imprimé] / R. Eds. Chuaqui ; Da Costa, Newton C. A. ; Arruda, Ayda I. . - New Yok : Marcel Dekker, Inc, 1978 . - xii - 303 p.. - (Lecture Notes in Pure and Applied Mathematics; 39) .
ISBN : 978-0-8247-6772-3
Langues : Anglais
Catégories : 00-XX General:00BXX Conference proceedings and collections of papers
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.Mots-clés : campinas, brasil conference proceedings mathematical logic Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4331 03B10 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Nonstandard analysis for the working mathematician / Loeb, Peter A. ; Manfred Wolff
Titre : Nonstandard analysis for the working mathematician Type de document : texte imprimé Auteurs : Loeb, Peter A., Editeur scientifique ; Manfred Wolff, Editeur scientifique Editeur : Dordrecht : Kluwer Academic Publishers Année de publication : 2000 Collection : Mathematics and its Applications num. 510 Importance : xiv - 311 p. Format : 25 cm ISBN/ISSN/EAN : 978-0-7923-6341-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
03-XX Mathematical logic and foundations:03HXX Nonstandard models :03H05 Nonstandard models in mathematics
03-XX Mathematical logic and foundations:03HXX Nonstandard models :03H10 Other applications of nonstandard models (economics, physics, etc.)Mots-clés : Nonstandard analysis Working mathematician nonstandard analysis nonstandard real analysis nonstandard functional analysis nonstandard measure theory nonstandard probability theory enlargements Loeb measure Loeb spaces Index. décimale : 03B Publication collective Nonstandard analysis for the working mathematician [texte imprimé] / Loeb, Peter A., Editeur scientifique ; Manfred Wolff, Editeur scientifique . - Dordrecht : Kluwer Academic Publishers, 2000 . - xiv - 311 p. ; 25 cm. - (Mathematics and its Applications; 510) .
ISBN : 978-0-7923-6341-5
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
03-XX Mathematical logic and foundations:03HXX Nonstandard models :03H05 Nonstandard models in mathematics
03-XX Mathematical logic and foundations:03HXX Nonstandard models :03H10 Other applications of nonstandard models (economics, physics, etc.)Mots-clés : Nonstandard analysis Working mathematician nonstandard analysis nonstandard real analysis nonstandard functional analysis nonstandard measure theory nonstandard probability theory enlargements Loeb measure Loeb spaces Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21135 03B21 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Problems in the philosophy of mathematics / Lakatos, I. Ed.
Titre : Problems in the philosophy of mathematics Titre original : proceedings of the International Colloquium in the Philosophy of Science, London, 1965, Vol. 1 Type de document : texte imprimé Auteurs : Lakatos, I. Ed. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1972 Collection : Studies in Logic and the Foundations of Mathematics Importance : xv - 241 p. ISBN/ISSN/EAN : 978-0-7204-2240-5 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest Mots-clés : london proceedings philosophy of mathematics Index. décimale : 03B Publication collective Problems in the philosophy of mathematics = proceedings of the International Colloquium in the Philosophy of Science, London, 1965, Vol. 1 [texte imprimé] / Lakatos, I. Ed. . - Amtsterdam : North-Holland Publishing Company, 1972 . - xv - 241 p.. - (Studies in Logic and the Foundations of Mathematics) .
ISBN : 978-0-7204-2240-5
Langues : Anglais
Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest Mots-clés : london proceedings philosophy of mathematics Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9228 03B06 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible