On the calculus of relations (1941)

by A Tarski
Venue:Journal of Symbolic Logic