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