Logic, semantics, metamathematics : Papers from 1923 to 1938 - Tarski, Alfred (Oxford : Clarendon Press, 1965)
Keywords: Logic, Symbolic and mathematical; Sematics (Philosophy)