Introduction to Logic and to the methology of deductive sciences - Tarski, Alfred (A Galaxy Book, 1965)