Distributive and Modular Laws in the Arithmetic of Relation Algebras (1951)

by L H Chin, A Tarski
Venue:University of California Publications