Introduction to logic and to the methodology of deuctive science - Tarski, Alfred (New York Oxford university press, 1965)