Mathematical logic / R. Eds. Chuaqui ; Da Costa, Newton C. A. ; Arruda, Ayda I.

Public ISBD 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

Public ISBD 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.

Public ISBD 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

Public ISBD 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 morphisms Mots-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 morphisms Mots-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

Public ISBD 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.

Permalink

Structures in mathematical theories / Ibarra, A. Eds. ; Echeverria, J. ; Diaz, A.

Permalink

Surveys in set theory / A. R. D. Mathias

Permalink

the Concept and the role of the model in mathematics and natural and social siences / Vuysje, D. Eds. ; Kazemier, B. H.

Permalink

the Metamathematics of algebraic systems / Mal'cev, Anatolii I.

Permalink

the Problem of inductive logic / Lakatos, I. Ed.

Permalink

theTheory of models / Henkin, L. ; J. W. Addison

Permalink

---

page /2