TY  - BOOK
AU  - Grandy Richard E
TI  - Advanced logic for applications
T2  - Synthese library
U1  - R14, L7 
PY  - 1977///
CY  - Boston
PB  - D Reidel Publishing     
ER  -