TY - BOOK AU - Tarski, Alfred TI - LOGIC,SEMANTICS,METAMATHEMATICS U1 - 164 PY - 1956/// CY - PB - Clarendon Press ER -