Introduction to Logic

And to the Methodology of Deductive Sciences

By

Alfred Tarski