Logic for applications / Anil Nerode, Richard A. Shore.

Saved in:
Bibliographic Details
Main Author: Nerode, Anil, 1932-
Other Authors: Shore, Richard A., 1946-
Format: Book
Published: New York : Springer, c1997.
Edition:2nd ed.
Series:Graduate texts in computer science
Tags: Add Tag
No Tags, Be the first to tag this record!

Pilkington Library - Pilkington Main Collection

Call Number: 511.3/NER
Copy [0403188466] Available