Propositional Logic : Deduction and Algorithms
Material type:
TextSeries: Cambridge Tracts in Theoretical Computer Science, 48Publication details: Cambridge; CUP; 1999Description: 409ISBN: - 0 521 63017 7
BOOKS
| Home library | Call number | Materials specified | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
| IMSc Library | 681.3 BUN (Browse shelf(Opens below)) | Available | 42771 |
There are no comments on this title.
Log in to your account to post a comment.