TY - BOOK AU - Tarski,Alfred TI - Introduction to logic and to the methodology of deductive sciences PY - 1946/// CY - New York PB - Oxford University Press N1 - Includes index ER -