| Shelfclass_id | 4.B.3 |
| Sortkey | CLOTE, PETER |
| Authors | Peter Clote, Jan Krajicek |
| Title | Arithmetic, Proof Theory, and Computational Complexity |
| Publisher | Oxford University Press |
| Year | c1993 |
| Languages | eng |
| Isbn | 0198536909 |
| Series | Oxford logic guides |
| Volume | 23 |
| Description | xii, 428 p. ill. 25 cm. |
| Record date | 20070430 |
| Location | New York |
| Keywords | Proof theory, Computational complexity |
| Urlnote | Publisher description |
| Urls | http://www.loc.gov/catdir/enhancements/fy0605/92041659-d.html |