Introduction to logic and to the methodology of deductive sciences - Tarski Alfred; Tarski Jan (Calcutta O U P, 1994)
Keywords: Mathematical logic