Logic, semantics, metamathematics: papers from 1923 to 1938 - Tarski, Alfred (Hackett Pub. Co., 1997)