Contributions to the theory of models (1955)

by A Tarski
Venue:III. Indagationes Mathematicae