| 000 | 00999nam a2200289 a 4500 | ||
|---|---|---|---|
| 001 | vtls000075298 | ||
| 003 | KUKTEM | ||
| 005 | 20260904092733.0 | ||
| 008 | 131011t2008 enk f 000 0 eng d | ||
| 020 | _a9780521054164 (pbk.) | ||
| 020 | _a0521054168 (pbk.) | ||
| 020 | _a9780521414135 (hbk.) | ||
| 039 | 9 |
_a201410011233 _bsaini _y201310111129 _zida |
|
| 040 | _aUMP | ||
| 090 | _aQA9.54 .P76 2008 | ||
| 245 | 0 | 0 |
_aProof theory : _ba selection of papers from the Leeds Proof Theory Programme, 1990 / _cedited by Peter Aczel, Harold Simmons, and Stanley S. Wainer |
| 260 |
_aCambridge : _bCambridge University Press, _c2008 |
||
| 300 |
_ax, 306 p. ; _c23 cm. |
||
| 500 | _aFirst published 1992 | ||
| 504 | _aIncludes bibliographical references | ||
| 650 | 0 | _aProof theory | |
| 700 | 1 | _aAczel, Peter | |
| 700 | 1 | _aSimmons, Harold | |
| 700 | 1 | _aWainer, S. S | |
| 999 |
_aVIRTUA40 _c74924 _d74930 |
||
| 999 | _aVTLSSORT0080*0200*0201*0202*0400*0900*2450*2600*3000*5000*5040*6500*7000*7001*7002*9992 | ||
| 942 | 0 | 0 | _01 |