| 000 | 00815 a2200229 4500 | ||
|---|---|---|---|
| 010 | _a 98018922 | ||
| 020 | _a9780444898401 | ||
| 050 | 0 | 0 | _aQA9.54 |
| 082 | 0 | 0 | _a511.3 |
| 090 |
_c32075 _d32075 |
||
| 100 | _aBuss, Samuel R. | ||
| 546 | _aeng | ||
| 245 | 0 | 0 |
_aHandbook of proof theory _cedited by Samuel R. Buss |
| 260 |
_aNew York : _bElsevier, _c1998. |
||
| 300 |
_a811 p.; _c23 cm |
||
| 440 | 0 |
_aStudies in logic and the foundations of mathematics ; _vvol. 137 |
|
| 500 | _aContine Bibliografie la sfarsitul fiecarui capitol Index p. 787 | ||
| 650 | 0 | _aProof theory. | |
| 856 | 4 | 2 |
_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy0601/98018922-d.html |
| 856 | 4 | 1 |
_3Table of contents only _uhttp://www.loc.gov/catdir/enhancements/fy0601/98018922-t.html |
| 942 |
_aIMAR _cCART _k511.3 _sEP |
||
| 999 |
_c31622 _d31622 |
||