TY - BOOK AU - Tarski Alfred AU - Tarski Jan TI - Introduction to logic and to the methodology of deductive sciences U1 - 511.3 PY - 1994/// CY - Calcutta PB - O U P KW - Mathematical logic ER -