Einführung in die mathematische Logik und in die Methodologie der Mathematik / - Tarski, Alfred (Springer, 1937)