Introduction to logic and to the methodology of deductive sciences.