Logic, semantics, metamathematics. Papers from 1923-1938 - Tarski, Alfred (Clarendon Press, 1956)