Foundations of the calculus of systems (0)

by Alfred Tarski
Venue:In Logic, Semantics, Metamathematics: Papers from 1923 to 1938 [22