TY  - BOOK
AU  - Nerode,Anil, Shore,Richard A.
AU  - Schneider,Fred B
TI  - LOGIC FOR APPLICATIONS
SN  - 0387948937
U1  - 005.1015113 
PY  - 1997///
CY  - 
PB  - Springer-Verlag,New York
KW  - Computer Science - Mathematics
KW  - Logic, Symbolic And Mathematical
N1  - Includes Bibliographical References And Index
ER  -