Logic, semantics, metamathematics : papers from 1923 to 1938 - Tarski, Alfred; Woodger, J. H. , tr. (Oxford, Clarendon Press, 1956)
Keywords: Logic, Symbolic and mathematical; mathematics; Semantics (Philosophy)