A textbook pair that provides a landmark unified treatment of the field
Introduces readers from mathematics, computer science, and beyond to the increasingly relevant field of relation algebras
Advances readers with foundations in relation algebras to the frontiers of active research
Engages the reader with numerous examples, exercises, and historical remarks
A textbook pair that provides a landmark unified treatment of the field Introduces readers from mathematics, computer science, and beyond to the increasingly relevant field of relation algebras Advances readers with foundations in relation algebras to the frontiers of active research Engages the reader with numerous examples, exercises, and historical remarks
Steven Givant
Relation algebras canonical extensions representations atom structures varieties of relation algebras arithmetic of relation algebras special elements in relation algebras subalgebras of relation algebras Steven Givant relation algebras Alfred Tarski relation algebras equational language of relation algebras elementary theory of binary relations homomorphisms constructing new relation algebras