Logic Techniques of Formal Reasoning - KALISH,DONALD (Toronto Harcourt Brace Jovanovich Col, 1992)