Einführung in die mathematische Logik und in die Methodologie der Mathematik - Tarski, Alfred, 1901-1983 (Wien : Springer, 1937)
Keywords: Logic, Symbolic and mathematical