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