TY - BOOK AU - Tarski, Alfred TI - Introduction to Logic and to the methodology of deductive sciences AV - Qa9.T37 1941 PY - 1941/// CY - New York PB - Oxford university press KW - Mathematics-philosophy KW - Arithmetic-Foundations N1 - Includes index ER -