Introduction to Logic: and to the Methodology of Deductive Sciences