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