Reading Introduction to Logic and the Methodology of Deductive Sciences by Alfred Tarski