Introduction to logic and the methodology of deductive sciences - Tarski, Alfred, 1901-1983 (Oxford, 1946)