| 000 | 00483nam a2200193Ia 4500 | ||
|---|---|---|---|
| 003 | NORSU | ||
| 005 | 20240711023731.0 | ||
| 008 | 240214s9999 xx 000 0 und d | ||
| 020 | _a0-521-05416-8 | ||
| 040 |
_aNORSU-Dum _cNORSU-Dum |
||
| 082 | _a511.36 P94 2008 | ||
| 100 | _aEditor Peter Aczel, Harold Simmons & Stanley Wainer | ||
| 245 | 0 | _aProof Theory | |
| 260 |
_bCambridge _c2008 |
||
| 500 | _aIncludes References | ||
| 942 |
_cBK _2ddc |
||
| 942 | _2ddc | ||
| 999 |
_c6893 _d6893 |
||