Roger Duncan Maddux

Relation Algebras, Volume 150
Relation Algebras, Volume 150

The modern theory of algebras of binary relations, reformulated by Tarski as an abstract, algebraic,

Roger Duncan Maddux