TY - BOOK AU - Tarski,Alfred AU - Helmer,Olaf TI - Introduction to logic and to the methodology of deductive sciences PY - 1965/// CY - New York PB - Oxford University Press KW - Mathematics KW - Philosophy KW - Arithmetic KW - Foundations N1 - 'A partially modified and extended edition of the author's ... On mathematical logic and deductive method, which appeared first in 1936 in Polish and then in 1937 in exact German translation (under the title: Einfuhrung in die mathematische Logik und in die Methodologie der Mathematik)'; Bibliography : p. 227-241 ER -