Introduction to logic and to the methodology of deductive sciences - Tarski, Alfred, 1901-1983 (A galaxy book, 1965)