Bounded Arithmetic, Propositional Logic, and Complexity Theory
Material type: TextSeries: Encyclopedia of mathematics & its applications ; 00060Publication details: Cambridge ; Cambridge University Press ; 1995Description: 343ISBN: 0521452058Subject(s): Constructive Mathematics Proposition (Logic) Computational ComplexityCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 51(02) ENC (Browse shelf (Opens below)) | Available | 34118 |
There are no comments on this title.