TY - BOOK AU - Tarski, Alfred AU - Tarski, Jan TI - Introduction to logic and to the methodology of the deductive sciences SN - 9780195044720 SN - 93006104 U1 - 511.3 TAR PY - 1994/// CY - Oxford PB - Oxford University Press KW - Arithmetic - Foundations KW - Mathematics - Philosophy N1 - Includes bibliographical references and index ER -