Tarski. Introduction to Logic and to the Methodology of the Deductive Sciences.