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