Introduction to logic and to the methodology of deductive science. - Tarski Alfred (New York Galaxy Book, 1965)