TY - BOOK AU - Tarski Alfred TI - Introduction to logic and to the methodology of de U1 - R1, H6;2 PY - 1946/// KW - Philosophy-Logic ER -