Export Mendeley
＜Books＞
Bounded arithmetic, propositional logic, and complexity theory / Jan Krajíček
(Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; v. 60)
| Publisher | Cambridge, England ; New York : Cambridge University Press |
|---|---|
| Year | 1995 |
| Codes | ID=2000617627 NCID=BA26572058
|
Show details.
| Language | English |
|---|---|
| Size | xiv, 343 p. ; 24 cm |
| Notes | Includes bibliographical references (p. 327-334) and indexes |
| Authors | Krajíček, Jan |
| Subjects | LCSH:Constructive mathematics LCSH:Proposition (Logic) LCSH:Computational complexity |
| Classification | LCC:QA9.56 DC20:511.3 NDC8:410.96 |
| Vol | ISBN:0521452058 |
Hide book details.
| Location | Volume | Call No. | Barcode No. | Status | Comments | ISBN | Printed | Reserve | Restriction | Copy | eDDS | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Sci. Math. Lib. Foreign Book |
|
/K 857 | 2070358413 |
|
0521452058 | 1995 |
|
|||||
| Sci. Math. Lib. Foreign Book |
|
/K 857 | 2080085345 |
|
|
1995 |
|