ATUAN

Relation Algebras, Volume 150 (Studies in Logic and the Foundations of Mathematics)

Relation Algebras, Volume 150 (Studies in Logic and the Foundations of Mathematics)
By Roger Duncan Maddux
Publisher: Elsevier Science
Number Of Pages: 758
Publication Date: 2006-07-13
ISBN-10 / ASIN: 0444520139
ISBN-13 / EAN: 9780444520135
Binding: Hardcover

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

Free Download Links

http://mihd.net/qs74zm
http://rapidshare.com/files/70836909/9780444520135-0444520139.pdf.rar

Related Posts

• Computability, Complexity, Logic (0)
• Hausdorff Gaps and Limits (0)
• Mathematics and Logic (0)
• Truth and consequence in mediaeval logic (0)
• A Primer for Logic and Proof (0)
• The Mathematics of Logic: A Guide to Completeness Theorems and their Applications (0)
• Phenomenology, Logic, and the Philosophy of Mathematics (0)
• Logic and the Modalities in the Twentieth Century, Volume 7 (0)
• Goguen Categories: A Categorical Approach to L-fuzzy Relations (0)
• Categorical Logic and Type Theory (0)

Tagged as: Logic, Mathematics, Relation Algebras