TY - GEN AU - Tarski,Alfed TI - Logic, semantics metamathematics : : papers from 1923-1938 / U1 - 164 PY - 1956/// CY - Oxford : PB - The Clarendon Press, KW - Logic KW - Matamathematics ER -