TY - BOOK AU - Tarski,Alfred AU - TI - Introduction to logic and to the methodology of deductive sciences U1 - 510.1 PY - 1946/// [printing 1961] CY - New York PB - Oxford university press KW - Mathematics KW - Philosophy KW - Arithmetic KW - Foundations N1 - "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; Includes index ER -