LOGIC A MODERN INTRODUCTION TO DEDUCTIVE REASONING - Terrell, D.B. (Holt, Rinehart And Winston, Inc., 1967)