On the Calculus of Relations (1941)

by A Tarski
Venue:Journal of Symbolic Logic