Tarski, Alfred Introduction to logic and to the methodology of deuctive science - New York Oxford university press 1965 - xviii, 252 p. includes bibliographical references and indexes Source: Textual