TY  - BOOK
AU  - Grandy, Richard E.
TI  - Advanced logic for applications
T2  - Synthese library; v.110
U1  - 511.3 
PY  - 1977///
CY  - Dordrecht-Holland
PB  - D. Reidel
ER  -