Introduction to logic and to the methodology of the deductive sciences - Tarski, Alfred (Oxford logic guides ;, 1994)