Title:
Handbook of logic and proof techniques for computer science
Author:
Krantz, Steven George, 1951-
ISBN:
9780817642204
Publication Information:
Boston : Birkhauser ; New York : Springer, 2002.
Physical Description:
xix, 245 s.
Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | Book | 7.2/12/574424 | QA 76 K723 2002 | Searching... | Searching... |