Introduction to logic and to the methodology of deductive sciences - Tarski, Alfred (Galaxy Book, 1965)