Introduction to Logic and to the Methodology of Deductive Sciences