Relation algebras [electronic resource] / Roger D. Maddux.
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 anthr...
Saved in:
| Online Access: |
Full Text (via ScienceDirect) |
|---|---|
| Main Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Amsterdam ; Boston :
Elsevier,
2006.
|
| Edition: | 1st ed. |
| Series: | Studies in logic and the foundations of mathematics ;
v. 150. |
| Subjects: |
MARC
| LEADER | 00000cam a2200000xa 4500 | ||
|---|---|---|---|
| 001 | b9079508 | ||
| 003 | CoU | ||
| 005 | 20190126012605.9 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 070802s2006 ne a ob 001 0 eng d | ||
| 019 | |a 76839505 |a 441765699 |a 647547761 |a 779920326 |a 989359429 |a 1035648584 | ||
| 020 | |a 9780444520135 | ||
| 020 | |a 0444520139 | ||
| 020 | |a 0080461476 |q (electronic bk.) | ||
| 020 | |a 9780080461472 |q (electronic bk.) | ||
| 035 | |a (OCoLC)scd162130453 | ||
| 035 | |a (OCoLC)162130453 |z (OCoLC)76839505 |z (OCoLC)441765699 |z (OCoLC)647547761 |z (OCoLC)779920326 |z (OCoLC)989359429 |z (OCoLC)1035648584 | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d BAKER |d OCLCQ |d OCLCG |d OPELS |d OCLCQ |d N$T |d YDXCP |d E7B |d MERUC |d IDEBK |d DEBBG |d TULIB |d OCLCO |d OCLCQ |d DEBSZ |d OPELS |d OCLCF |d OCLCQ |d EBLCP |d OCLCQ |d STF |d D6H |d OCLCQ | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a QA10 |b .M33 2006eb | |
| 100 | 1 | |a Maddux, R. D. |q (Roger D.), |d 1948- |0 http://id.loc.gov/authorities/names/n90626162 |1 http://isni.org/isni/0000000109987137. | |
| 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 1 online resource (xxvi, 731 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics, |x 0049-237X ; |v v. 150. | |
| 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. | |
| 504 | |a Includes bibliographical references (pages 713-722) and 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. | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Relation algebras. |0 http://id.loc.gov/authorities/subjects/sh93006695. | |
| 650 | 7 | |a Relation algebras. |2 fast |0 (OCoLC)fst01093574. | |
| 776 | 0 | 8 | |i Print version: |a Maddux, R.D. (Roger D.), 1948- |t Relation algebras. |b 1st ed. |d Amsterdam ; Boston : Elsevier, 2006 |z 0444520139 |z 9780444520135 |w (OCoLC)69983673. |
| 830 | 0 | |a Studies in logic and the foundations of mathematics ; |v v. 150. |0 http://id.loc.gov/authorities/names/n42707789. | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=https://www.sciencedirect.com/science/bookseries/0049237X/150 |z Full Text (via ScienceDirect) |
| 907 | |a .b90795088 |b 03-19-20 |c 03-23-17 | ||
| 998 | |a web |b 02-28-19 |c b |d b |e - |f eng |g ne |h 0 |i 1 | ||
| 907 | |a .b90795088 |b 07-02-19 |c 03-23-17 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 907 | |a .b90795088 |b 03-12-19 |c 03-23-17 | ||
| 915 | |a I | ||
| 956 | |a ScienceDirect ebooks | ||
| 956 | |b ScienceDirect All Books | ||
| 999 | f | f | |i b4664f27-1290-55c3-bfea-966d1e6fcd0a |s 03d723f9-ebad-5a2d-a4d1-5c031a985501 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA10 .M33 2006eb |h Library of Congress classification |i web |n 1 |