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 -