Einführung in die mathematische Logik und die Methodologie der Mathematik. - Tarski, Alfred (Wien : Verlag Von Julius Springer, Wien, 1937)