Introduction to logic and to the methodology of deductive sciences. - Tarski, Alfred (New York Oxford University Press, 1965)