|
|
|
|
| LEADER |
02310nmm a2200373 u 4500 |
| 001 |
EB002119827 |
| 003 |
EBX01000000000000001257884 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
221028 ||| eng |
| 020 |
|
|
|a 0444520139
|
| 020 |
|
|
|a 9780444520135
|
| 020 |
|
|
|a 0080461476
|
| 050 |
|
4 |
|a QA10
|
| 100 |
1 |
|
|a Maddux, R. D.
|
| 245 |
0 |
0 |
|a Relation algebras
|c Roger D. Maddux
|
| 250 |
|
|
|a 1st ed
|
| 260 |
|
|
|a Amsterdam
|b Elsevier
|c 2006, 2006
|
| 300 |
|
|
|a xxvi, 731 pages
|b illustrations
|
| 505 |
0 |
|
|a Includes bibliographical references (pages 713-722) and index
|
| 505 |
0 |
|
|a Preface -- List of Figures -- List of Tables -- Chapter 1. Calculus of relations -- Chapter 2. Set theory -- Chapter 3. General algebra -- Chapter 4. Logic with equality -- Chapter 5. Boolean algebras -- Chapter 6. Relation algebras -- Chapter 7. Algebraic logic -- Chapter 8. 4329 finite integral relation algebras -- Bibliography -- Index
|
| 653 |
|
|
|a Algèbres des relations
|
| 653 |
|
|
|a MATHEMATICS / Algebra / General / bisacsh
|
| 653 |
|
|
|a Relation algebras / http://id.loc.gov/authorities/subjects/sh93006695
|
| 653 |
|
|
|a Relation algebras / fast / (OCoLC)fst01093574
|
| 653 |
|
|
|a Booleaanse algebra / gtt
|
| 041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
| 989 |
|
|
|b ZDB-1-ELC
|a Elsevier eBook collection Mathematics
|
| 490 |
0 |
|
|a Studies in logic and the foundations of mathematics
|
| 776 |
|
|
|z 0080461476
|
| 776 |
|
|
|z 9780080461472
|
| 856 |
4 |
0 |
|u https://www.sciencedirect.com/science/bookseries/0049237X/150
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 511.324
|
| 520 |
|
|
|a The modern theory of algebras of binary relations, reformulated by Tarski as an abstract, algebraic, equational theory of relation algebras, has considerable mathematical significance, with applications in various fields: e.g., in computer science---databases, specification theory, AI---and in anthropology, economics, physics, and philosophical logic. This comprehensive treatment of the theory of relation algebras and the calculus of relations is the first devoted to a systematic development of the subject. Key Features: - Presents historical milestones from a modern perspective - Careful, thorough, detailed guide to understanding relation algebras - Provides a framework and unified perspective of the subject
|