A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'indexation
03B : Publication collective
Ouvrages de la bibliothèque en indexation 03B



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
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 Real algebraic geometry / Frédéric Mangolte
Titre : Real algebraic geometry Type de document : texte imprimé Auteurs : Frédéric Mangolte, Auteur ; Jean-Philippe Rolin, Auteur ; Krzysztof Kurdyka, Auteur Editeur : Paris : Société mathématique de France Année de publication : 2017 Collection : Panoramas et synthèses, ISSN 1272-3835 num. 51 Importance : xxiii - 180 p. ISBN/ISSN/EAN : 978-2-85629-857-2 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) :11G99 None of the above, but in this section
14-XX Algebraic geometry:14AXX Foundations:14A10 Varieties and morphismsMots-clés : 17e problè me de Hilbert, algorithmes, anneau de Grothendieck, application rationnelle continue, application ré gulue, cartes routiè res, certificats de positivité , classification des germes analytiques Index. décimale : 03B Publication collective Real algebraic geometry [texte imprimé] / Frédéric Mangolte, Auteur ; Jean-Philippe Rolin, Auteur ; Krzysztof Kurdyka, Auteur . - Paris : Société mathématique de France, 2017 . - xxiii - 180 p.. - (Panoramas et synthèses, ISSN 1272-3835; 51) .
ISBN : 978-2-85629-857-2
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) :11G99 None of the above, but in this section
14-XX Algebraic geometry:14AXX Foundations:14A10 Varieties and morphismsMots-clés : 17e problè me de Hilbert, algorithmes, anneau de Grothendieck, application rationnelle continue, application ré gulue, cartes routiè res, certificats de positivité , classification des germes analytiques Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 22214 03B23 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible 30209 LAREMA/MAN imprimé / autre Fédération FR 2962 - Angers Angers Ouvrages Disponible Recursion theory
Titre : Recursion theory : its generalisations and applications Type de document : texte imprimé Auteurs : Frank Robert Drake, Editeur scientifique ; Stanley S. Wainer, Editeur scientifique Editeur : Cambridge University Press Année de publication : 1980 Collection : London Mathematical Society Lecture Note Series. num. 45 Importance : 319 p. Format : 23 cm. ISBN/ISSN/EAN : 978-0-521-23543-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. Mots-clés : Recursion theory Proceedings Logic Colloquium Leeds/England Index. décimale : 03B Publication collective Recursion theory : its generalisations and applications [texte imprimé] / Frank Robert Drake, Editeur scientifique ; Stanley S. Wainer, Editeur scientifique . - [S.l.] : Cambridge University Press, 1980 . - 319 p. ; 23 cm.. - (London Mathematical Society Lecture Note Series.; 45) .
ISBN : 978-0-521-23543-3
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. Mots-clés : Recursion theory Proceedings Logic Colloquium Leeds/England Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21554 03B22 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Selecta mathematica. II / Jacobs, K.
PermalinkStructures in mathematical theories / Ibarra, A. Eds. ; Echeverria, J. ; Diaz, A.
PermalinkSurveys in set theory / A. R. D. Mathias
Permalinkthe Concept and the role of the model in mathematics and natural and social siences / Vuysje, D. Eds. ; Kazemier, B. H.
Permalinkthe Metamathematics of algebraic systems / Mal'cev, Anatolii I.
Permalinkthe Problem of inductive logic / Lakatos, I. Ed.
PermalinktheTheory of models / Henkin, L. ; J. W. Addison
Permalink