Induction, bounding, weak combinatorial principles, and the homogeneous model theorem / Denis Roman Hirschfeldt 

Public ISBD Titre : Induction, bounding, weak combinatorial principles, and the homogeneous model theorem Type de document : texte imprimé Auteurs : Denis Roman Hirschfeldt, Auteur ; Karen Lange, Auteur ; Richard A. Shore, Auteur Editeur : Providence, R.I. : American Mathematical Society Année de publication : 2017 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 1187 Importance : v - 101 p. Format : 26 cm ISBN/ISSN/EAN : 978-1-4704-2657-6 Langues : Anglais Index. décimale : Mem En ligne : http://www.ams.org/books/memo/1187/memo1187.pdf Induction, bounding, weak combinatorial principles, and the homogeneous model theorem [texte imprimé] / Denis Roman Hirschfeldt, Auteur ; Karen Lange, Auteur ; Richard A. Shore, Auteur . - Providence, R.I. : American Mathematical Society, 2017 . - v - 101 p. ; 26 cm. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 1187) . ISBN : 978-1-4704-2657-6 Langues : Anglais Index. décimale : Mem En ligne : http://www.ams.org/books/memo/1187/memo1187.pdf

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
22258	Mem/1187	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

Recursion theory / Richard A. Shore ; Nerode, Anil

Public ISBD Titre : Recursion theory Titre original : proceedings of the AMS-ASL Summer Institute on Recursion Theory Type de document : texte imprimé Auteurs : Richard A. Shore, Editeur scientifique ; Nerode, Anil, Editeur scientifique Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1985 Collection : Proceedings of Symposia in Pure Mathematics num. 42 Importance : vii - 528 p. ISBN/ISSN/EAN : 978-0-8218-1447-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 : ithaca, ny (usa)  symposium  proceedings  recursion theory Index. décimale : 03C Monographie Recursion theory = proceedings of the AMS-ASL Summer Institute on Recursion Theory [texte imprimé] / Richard A. Shore, Editeur scientifique ; Nerode, Anil, Editeur scientifique . - Providence, R.I. : American Mathematical Society, 1985 . - vii - 528 p.. - (Proceedings of Symposia in Pure Mathematics; 42) . ISBN : 978-0-8218-1447-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 : ithaca, ny (usa)  symposium  proceedings  recursion theory Index. décimale : 03C Monographie

Exemplaires

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

Theory of relations / Fraïssé, Roland

Public ISBD Titre : Theory of relations : with an appendix by Norbert Sauer Type de document : texte imprimé Auteurs : Fraïssé, Roland ; Gabbay, D.M. ; Artemov, S. ; S. Abramsky ; Richard A. Shore, Auteur ; P. Clote, Traducteur Mention d'édition : Revised ed. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 2000 Collection : Studies in Logic and the Foundations of Mathematics num. 145 Importance : 451 p. ISBN/ISSN/EAN : 978-0-444-50542-2 Langues : Anglais Langues originales : Français Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03EXX Set theory:03E05 Other combinatorial set theory 06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.) 06-XX Order, lattices, ordered algebraic structures :06-02 Research exposition (monographs, survey articles) Mots-clés : age  relational systems  posets  trees  chains  ordered sets  cofinality  order relations  partition calculus  order theory  axiomatic set theory Index. décimale : IRIN Theory of relations : with an appendix by Norbert Sauer [texte imprimé] / Fraïssé, Roland ; Gabbay, D.M. ; Artemov, S. ; S. Abramsky ; Richard A. Shore, Auteur ; P. Clote, Traducteur  . -  Revised ed. . - Amtsterdam : North-Holland Publishing Company, 2000 . - 451 p.. - (Studies in Logic and the Foundations of Mathematics; 145) . ISBN : 978-0-444-50542-2 Langues : Anglais Langues originales : Français Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03EXX Set theory:03E05 Other combinatorial set theory 06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.) 06-XX Order, lattices, ordered algebraic structures :06-02 Research exposition (monographs, survey articles) Mots-clés : age  relational systems  posets  trees  chains  ordered sets  cofinality  order relations  partition calculus  order theory  axiomatic set theory Index. décimale : IRIN

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13364	IRIN/03C04	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

---

page 1/1