| Shelfclass_id | 4.B.3 |
| Sortkey | TROELSTRA, A. S |
| Authors | A. S Troelstra, Helmut Schwichtenberg |
| Title | Basic Proof Theory |
| Publisher | Cambridge University Press |
| Edition | 2nd ed. |
| Year | 2000 |
| Languages | eng |
| Isbn | 0521779111 |
| Series | Cambridge tracts in theoretical computer science |
| Volume | 43 |
| Description | (pbk.) xii, 417 p. ill. 23 cm. |
| Record date | 20071022 |
| Location | New York |
| Keywords | Proof theory |
| Urlnote | Table of contents |
| Urls | http://www.loc.gov/catdir/toc/cam027/00702855.html |