Boolean algebras with operators (1952)

by B Jonsson, A Tarski
Venue:Amer. J. Math