POSPESEL HAWARD, INTRODUCTION TO LOGIC: PREDICATE LOGIC - NEW JERSEY: PRENTICE-HALL,INC, 1976. ISBN: 0134862252. Dewey Class. No.: 511.3 POS