Logic, semantics, metamathematics: papers from 1923 to 1938 - Tarski, Alfred (Clarendon Press, 1956)