Alfred tarski

• introduction to logic and to the methodOlogy of deductive sciences