Tarski, Alfred Introduction to logic and to the methodology of deductive sciences. - New York Oxford University Press 1946. - xviii, 239 p. Includes index.