005.1015113 / N358L2
Nerode,Anil, Shore,Richard A.
LOGIC FOR APPLICATIONS
/
.- 2nd
.- Springer-Verlag,New York, 1997
.- xiii,456 .
.- ( Graduate Texts In Computer Science
Includes Bibliographical References And Index
ISBN: 0387948937
Subject Headings:
Computer Science - Mathematics;
Logic, Symbolic And Mathematical;
Author Added Entry:
Schneider,Fred B;
Copy Details:
Acc. No.: A125900, Full Call No.: 005.1015113 N358L2, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------