Introduction to logic and to the methodology of deductive sciences. - Tarski, Alfred (A Galaxy book, GB133., 1965)