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