Introduction to logic and to the methodology of deductive sciences - Tarski, Alfred 1901-1983 (Oxford Univ.Pr., 1951)