| 000 | 00620pam a2200181a 44500 | ||
|---|---|---|---|
| 008 | 160408b1990 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a052141413X | ||
| 082 |
_a511.3 _bP945 |
||
| 100 | _aAczel, Peter | ||
| 245 | 1 |
_aPROOF THEORY _cSELECTION OF PAPERS FROM THE LEEDS PROOF THEORY OF PROGRAMME, 1990 |
|
| 260 |
_aCambridge _bCambridge Univ. Pr. _c1990 |
||
| 300 | _ax,306 | ||
| 500 | _aCollection Of Papers Presented At An International Summer School & Confereence On Proof Theory, Held At Leeds, 1990 | ||
| 650 | _aProof Theory -- Cong | ||
| 700 | _aWeiner, Stanley S. | ||
| 964 | _gCIRC | ||
| 997 | _aA115735 C | ||
| 999 |
_c314313 _d314313 |
||