Introduction to logic and to the methodology of deductive sciences - Tarski, Alfred (Oxford University Press, 1965)