Introduction to logic and to the methodology of deductive sciences. - TARSKI Alred (New York Galaxy Books, 1965)