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),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
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),
------------------------- --------------------- ------ --------- ------- ------- --------- --------