Bounded arithmetic, propositional logic, and complexity theory
Material type: TextLanguage: English Series: Encyclopedia of mathematics and its applications; vol. 60Publication details: Cambridge University Press 1995 Edition: Description: xiii, 343pISBN: 0521452058 (HB)Subject(s): PROPOSITION (LOGIC) | COMPUTATIONAL COMPLEXITY | CONSTRUCTIVE MATHEMATICSDDC classification: 511.3 KRA(BOU)Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | Central Library | 511.3 KRA(BOU) (Browse shelf(Opens below)) | 1 | Available | 9874 |
Total holds: 0
MD/1/0720/09-10/11-11-09
There are no comments on this title.