Handbook of logic and proof techniques for computer science / Steven G. Krantz.
Material type: TextPublication details: Boston : New York : Birkhauser ; Springer, 2002Description: xix, 245 p. ; 24 cmISBN: 081764220X (hbk.); 9780817642204 (hbk.)Subject(s): Computers | Electronic data processingDDC classification: 004 LOC classification: QA76 | .K73 2002Online resources: Publisher description | Table of contents onlyItem type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Staff Circulation | APU Library Open Shelf | Book | QA76 .K73 2002 c.1 (Browse shelf (Opens below)) | 1 | Available (No use restrictions) | 00000701 | |
General Circulation | APU Library Open Shelf | Book | QA76 .K73 2002 c.2 (Browse shelf (Opens below)) | 2 | Available (No use restrictions) | 00000702 |
Includes bibliographical references (p. 231-236) and index.
There are no comments on this title.