Bounded arithmetic, propositional logic, and complexity theory / Jan Krajicek.
Material type: TextSeries: Encyclopedia of mathematics and its applicationsPublication details: Cambridge [England] ; New York, NY, USA : Cambridge University Press, 1995Description: xiv, 343 pISBN: 0521452058Subject(s): Constructive mathematics | Proposition (Logic) | Computational complexityLOC classification: QA9.56 | .K73 1995Online resources: Click here to access online | Click here to access onlineItem type | Current library | Collection | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Main Campus General Collection | General collection | QA9.56 .K73 1995 (Browse shelf(Opens below)) | Available | CN | 13975 |
There are no comments on this title.