Boolean algebras with operators. part 1 (1951)

by Bjarni Jónsson, Alfred Tarski
Venue:Amer. J. Math