Mathematical logic for computer science
Material type: TextPublication details: New York : Springer, 2003, c2001.Edition: 2nd edDescription: xiv, 304 p. : ill. ; 24 cmISBN:- 9781852333195
- 511.3 21 BEN-M
- QA9 .B3955 2003
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | IIITD Reference | Mathematics | REF 511.3 BEN-M (Browse shelf(Opens below)) | Available | 000276 |
Total holds: 0
Browsing IIITD shelves, Shelving location: Reference, Collection: Mathematics Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
REF 511 ROS-D Discrete mathematics and its applications | REF 511 TRE-D Discrete mathematical structures with applications to computer science | REF 511.3 AND-O Old and new : Inequalities | REF 511.3 BEN-M Mathematical logic for computer science | REF 511.3 BER-H Handbook of process algebra | REF 511.3 BIE-H Handbook of satisfiability | REF 511.3 CRE-C Complexity classifications of Boolean constraint satisfaction problems |
2nd printing with corrections 2003.
Includes bibliographical references (p. [293]-295) and indexes.
There are no comments on this title.