LOGIC - TARSKI ALFRED (OXFORD CLARENDON, 1956)