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