Introduction to logic and to the methodology of deductive sciences - Tarski, Alfred (Dover Publications, 1995)