TY  - BOOK
AU  - David Gries & Fred B. Schneider Ed.
TI  - logic for applications
SN  - 0387941290
AV  - QA 76.63 .N47 1993
ER  -