TY - BOOK AU - Tarski,Alfred TI - Introduction to logic and to the methodology of deductive sciences SN - 048628462X (pbk.) PY - 1995/// CY - New York PB - Dover Publications KW - Mathematics KW - Philosophy KW - Arithmetic KW - Foundations N1 - Originally published: 2nd ed., rev. New York : Oxford University Press, 1946 (1961 printing); Includes bibliographical references (p. 227-230) and index ER -