Introduction to Logic: And to the Methodology of Deductive Sciences (Dover Books on Mathematics)