Introduction to Logic: And to the Methodology of Deductive Sciences - Alfred Tarski