Export Mendeley
＜Book＞
Bounded arithmetic
| Responsibility | Samuel R. Buss |
|---|---|
| Series | Studies in proof theory ; 3 |
| Material Type | Book |
| Publisher | Napoli : Bibliopolis |
| Year | c1986 |
| Language | English |
| Size | 221 p. ; 24 cm |
Holdings
| Status | Volume | Location | Call No. | Printed | Collection Name | Barcode No. | Comments | Reserve | Copy | Automatic archive |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
SciTech 3F Mathematical Books | BUSS/5/1 | 1986 |
|
023212000001063 |
|
Bibliographic details
| Notes | Bibliography: p. [215]-216 Includes index |
|---|---|
| Authors | *Buss, Samuel R. |
| Subjects | LCSH:Proof theory |
| Classification | LCC:QA9.54 DC19:511.3 NDC7:410.12 NDC7:116.3 |
| ID | 1001389408 |
| ISBN | 8870881504 |
| NCID | BA01439105 |
| Vol | ISBN:8870881504 |
| Created Date | 2009.11.02 |
| Modified Date | 2009.11.02 |