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