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

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

Boolean models and methods in mathematics, computer science, and engineering / Yves Crama ; Peter L. Hammer

Public ISBD Titre : Boolean models and methods in mathematics, computer science, and engineering Type de document : texte imprimé Auteurs : Yves Crama, Editeur scientifique ; Peter L. Hammer, Editeur scientifique Editeur : Cambridge : Cambridge University Press Année de publication : 2010 Collection : Encyclopedia of Mathematics and Its Applications num. 134 Importance : xviii - 759 p. Format : 25 cm ISBN/ISSN/EAN : 978-0-521-84752-0 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. 06-XX Order, lattices, ordered algebraic structures :06-06 Proceedings, conferences, collections, etc. 68-XX Computer science :68-06 Proceedings, conferences, collections, etc. 94-XX Information and communication, circuits:94-06 Proceedings, conferences, collections, etc. Mots-clés : ordered structures  mathematical logic Index. décimale : 06B Publication collective Boolean models and methods in mathematics, computer science, and engineering [texte imprimé] / Yves Crama, Editeur scientifique ; Peter L. Hammer, Editeur scientifique . - Cambridge : Cambridge University Press, 2010 . - xviii - 759 p. ; 25 cm. - (Encyclopedia of Mathematics and Its Applications; 134) . ISBN : 978-0-521-84752-0 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. 06-XX Order, lattices, ordered algebraic structures :06-06 Proceedings, conferences, collections, etc. 68-XX Computer science :68-06 Proceedings, conferences, collections, etc. 94-XX Information and communication, circuits:94-06 Proceedings, conferences, collections, etc. Mots-clés : ordered structures  mathematical logic Index. décimale : 06B Publication collective

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
20770	06B03	imprimé / autre	CRDM	06/ORDRE,TREILLIS, STRUCTURES ALGEBRIQUES ORDONNEES	Disponible

Cabal seminar 76-77 Proceedings, Caltech-UCLA logic seminar 1976-77 / Kechris, A. S.

Public ISBD Titre : Cabal seminar 76-77 Proceedings, Caltech-UCLA logic seminar 1976-77 Type de document : texte imprimé Auteurs : Kechris, A. S., Editeur scientifique Editeur : Springer-Verlag Année de publication : 1978 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 689 Importance : 282 ISBN/ISSN/EAN : 978-3-540-09086-1 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 : caltech-ucla logic seminar  proceedings  seminar  cabal seminar Index. décimale : LNM Cabal seminar 76-77 Proceedings, Caltech-UCLA logic seminar 1976-77 [texte imprimé] / Kechris, A. S., Editeur scientifique . - [S.l.] : Springer-Verlag, 1978 . - 282. - (Lecture Notes in Mathematics, ISSN 0075-8434; 689) . ISBN : 978-3-540-09086-1 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 : caltech-ucla logic seminar  proceedings  seminar  cabal seminar Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
11544	LNM/689	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

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

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

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

Permalink

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

Permalink

IIIe rencontre de géométrie du Schnepfenried, 10-15 mai 1982. Vol. 2

Permalink

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

Permalink

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

Permalink

Model theory and topoi / Maurer, C. ; Francis William Lawvere ; G. C. Wraith

Permalink

Modèles de l'arithmétique

Permalink

Orders / D. Richard ; Pouzet, M.

Permalink

Recursion theory

Permalink

Recursion theory / Richard A. Shore ; Nerode, Anil

Permalink

---

page /2