| Tag |
In 1 |
In 2 |
Data |
| 001 | | | vtls000013044 |
| 003 | | | IISER-K |
| 005 | | | 20140514151600.0 |
| 006 | | | m d |
| 007 | | | cr cn||||||||| |
| 008 | | | 090617s2006 ne a sb 001 0 eng d |
| 037 | | | \a 115847:115945 \b Elsevier Science & Technology \n http://www.sciencedirect.com |
| 039 | | 9 | \a 201405141516 \b VLOAD \c 200906181322 \d Siladitya \y 200906171911 \z VLOAD |
| 049 | | | \a TEFA |
| 082 | 0 | 4 | \a 511.324 \2 22 |
| 100 | 1 | | \a Maddux, R. D. \q (Roger D.), \d 1948- |
| 245 | 1 | 0 | \a Relation algebras \h [electronic resource] / \c Roger D. Maddux. |
| 250 | | | \a 1st ed. |
| 260 | | | \a Amsterdam ; \a Boston : \b Elsevier, \c 2006. |
| 300 | | | \a xxvi, 731 p. : \b ill. ; \c 24 cm. |
| 440 | | 0 | \a Studies in logic and the foundations of mathematics, \x 0049-237X ; \v v. 150 |
| 504 | | | \a Includes bibliographical references (p. 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. |
| 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. |
| 533 | | | \a Electronic reproduction. \b Amsterdam : \c Elsevier Science & Technology, \d 2007. \n Mode of access: World Wide Web. \n System requirements: Web browser. \n Title from title screen (viewed on July 25, 2007). \n Access may be restricted to users at subscribing institutions. |
| 650 | | 0 | \a Relation algebras. |
| 650 | 1 | 7 | \a Booleaanse algebra. \2 gtt |
| 655 | | 7 | \a Electronic books. \2 local |
| 710 | 2 | | \a ScienceDirect (Online service) |
| 776 | 1 | | \c Original \z 0444520139 \z 9780444520135 \w (OCoLC)69983673 |
| 856 | 4 | 0 | \3 ScienceDirect \u http://www.sciencedirect.com/science/publication?issn=0049237X&volume=150 \z An electronic book accessible through the World Wide Web; click for information \y An electronic book accessible through the World Wide Web; click for information \y ScienceDirect |
|
|
