TY - BOOK AU - Tarski Alfred AU - Woodger J H TI - Logic Semantics Metamathematics papers from 1923 to 1938 U1 - 164 PY - 1956/// CY - Oxford PB - Clarendon Press KW - Mathematical Logic KW - Symbolic ER -