KALISH, Donald. Techniques of Formal Reasoning - New York Harcourt Brace Jovanovich 1980 - xvi, 520p. ISBN: 0155511815 Dewey Class. No.: 1980