Analyzable functions and applications / O. Ed. Costin

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

Around the Zilber-Pink conjecture / Philipp Habegger

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

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

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

Public ISBD 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 theory 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é] / 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 theory 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é
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

Permalink

Contributions to non-standard analysis / Robinson, A. ; W. A. J. Luxemburg

Permalink

Équations différentielles et singularités. En l'honneur de J. M. Aroca / Cano, F. ; Frank Loray ; Morales Ruiz, Juan J. ; Paulo Sad ; Mark Spivakovsky

Permalink

Finite and algorithmic model theory / Javier Sparza ; Christian Michaux ; Charles Steinhorn

Permalink

Generalized recursion theory / Hinman, P. G. Eds. ; Fenstad, J. E.

Permalink

Homotopy type theory

Permalink

Interactive models of computation and program behavior / Pierre-Louis Curien

Permalink

Lambda calculus with types / Henk Barendregt

Permalink

Linear logic in computer science / thomas Ehrhard ; Ruet, Paul ; Jean-Yves Girard ; Philip Scott

Permalink

Mathematical logic and foundations of set theory

Permalink

---

page /2