Introduction to Logic and to the Methodology of the Deductive Sciences - e-bok, Engelsk, 1994