TY  - BOOK
AU  - Grandy,E.Richard
TI  - Advanced logic for applications
AV  - BC135.G7  
PY  - 1977///
CY  - Boston
PB  - D. Reidel Publishing Compan
KW  - Logic, symbolic and mathematical
N1  - Includes bibliographical references

ER  -