03B : Publication collective

Ouvrages de la bibliothèque en indexation 03B

Analyzable functions and applications / Costin, O. Ed.

Public ISBD Titre : Analyzable functions and applications Titre original : international workshop, Edinburgh, UK, June 17--21, 2002 Type de document : texte imprimé Auteurs : Costin, O. Ed. ; 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 (eng) 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é] / Costin, O. Ed. ; Macintyre, A. Eds ; Kruskal, M.D. . - American Mathematical Society, 2005 . - vii - 371 p. . - (Contemporary Mathematics, ISSN 0271-4132; 373) . ISBN : 978-0-8218-3419-0 Langues : Anglais (eng) 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

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16928	03B15	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Automata on infinite objects and church's problem / Rabin, Michael O.

Public ISBD Titre : Automata on infinite objects and church's problem Type de document : texte imprimé Auteurs : Rabin, Michael O. 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 (eng) 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é] / Rabin, Michael O. . - 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 (eng) 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

Réservation

Réserver ce document

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. Ed.

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. Ed. 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 (eng) 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. Ed. . - American Mathematical Society, 1974 . - 222 p.. - (Proceedings of Symposia in Pure Mathematics; 13-2) . ISBN : 978-0-8218-0246-5 Langues : Anglais (eng) 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

Réservation

Réserver ce document

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 / Scott, Dana S. Ed.

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 : Scott, Dana S. Ed. 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 (eng) 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é] / Scott, Dana S. Ed. . - American Mathematical Society, 1971 . - v - 474 p.. - (Proceedings of Symposia in Pure Mathematics; 13-1) . ISBN : 978-0-8218-0245-8 Langues : Anglais (eng) 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

Réservation

Réserver ce document

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

Public ISBD 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 (eng) 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 (eng) Index. décimale : 03B Publication collective

Réservation

Réserver ce document

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. ; Luxemburg, W. A. J.

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

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

Permalink

Linear logic in computer science / Ehrhard, Thomas Ed.

Permalink

Mathematical logic and foundations of set theory

Permalink

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

Permalink

Problems in the philosophy of mathematics / Lakatos, I. Ed.

Permalink

Selecta mathematica. II / Jacobs, K.

Permalink