TY  - BOOK
AU  - Grandy Richard E
TI  - Advanced logic for applications
T2  - Synthese library; 110
U1  - R1, L7 
PY  - 1977///
CY  - Holland
PB  - D Reidel Publishing     
KW  - LOGIC
ER  -