TY  - BOOK
AU  - NERODE A. & SHORE R.A.
TI  - LOGIC FOR APPLICATIONS
SN  - 0000387948937
U1  - 005.101 51 
PB  - NEW YORK : SPRINGER
KW  - MATHEMATICS : LOGIC : MATHEMATICS FOR PROGRAMMING
ER  -