Introduction to logic : and to the methodology of deductive sciences - Tarski, Alfred, 1901-1983.; Helmer-Hirschberg, Olaf (New York : Oxford university press, 1941)
"A partially modified and extended edition of my book 'On mathematical logic and deductive method,' which appeared first in 1936 in Polish and then in 1937 in an exact German translation (under the title: Einführung in die mathematische logik und in die methodologie der mathematik)" -Pref.
"Translated by Olaf Helmer."
"Suggested readings": p. 227-230.
Keywords: Mathematics -- Philosophy; Arithmetic -- Foundations