Shelfclass_id | 4.B.1 |
Sortkey | BUSS, SAMUEL R |
Authors | Samuel R Buss |
Title | Handbook of Proof Theory |
Publisher | Elsevier |
Year | 1998 |
Languages | eng |
Isbn | 0444898409 |
Series | Studies in logic and the foundations of mathematics |
Volume | 137 |
Description | (alk. paper) 811 p. 23 cm. |
Record date | 20071105 |
Location | New York |
Keywords | Proof theory |
Urlnote | Table of contents only |
Urls | http://www.loc.gov/catdir/enhancements/fy0601/98018922-t.html |