Logic, semantics and metamathematics : - Tarski, Alfred (Hackett Pub Co, 1983)