TY - BOOK AU - Tarski, Alfred TI - Introduction to logic and to the methodology of deuctive science PY - 1965/// CY - New York PB - Oxford university press ER -