UID:
almahu_9947367654902882
Format:
1 online resource (759 p.)
Edition:
1st ed.
ISBN:
1-280-64163-0
,
9786610641635
,
0-08-046147-6
Series Statement:
Studies in logic and the foundations of mathematics, v. 150
Content:
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 perspecti
Note:
Description based upon print version of record.
,
Cover; Preface; Contents; List of Figures; List of Tables; Calculus of relations; Set theory; General algebra; Logic with equality; Boolean algebras; Relation algebras; Algebraic logic; 4329 finite integral relation algebras; Bibliography; Index
,
English
Additional Edition:
ISBN 0-444-52013-9
Language:
English