TY - BOOK AU - Tarski, Alfred TI - Introduction to logic and to the methodology of deductive sciences U1 - 510.1 TAR PY - 1954/// CY - New York PB - Oxford University Press ER -