TARSKI

Tarski: translation

Tarski, Alfred