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