Propositional logic : deduction and algorithms / Hans Kleine Büning, Theodor Lettman.
Material type:
TextSeries: Cambridge tracts in theoretical computer sciencePublication details: Cambridge [England] ; New York : Cambridge University Press, 1999.Description: x, 409 pISBN: - 0521630177
- QA76 .K54 1999
Books
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| OLUSEGUN OKE LIBRARY LAUTECH | Non-fiction | QA76 .K54 1999 (Browse shelf(Opens below)) | 1 | Available | 0015376 |
There are no comments on this title.
Log in to your account to post a comment.