LOGIC,SEMANTICS,METAMATHEMATICS - Tarski, Alfred (Clarendon Press, 1956)