Text this: Introduction to logic and to the methodology of the deductive sciences