| 000 | 00554pam a2200193a 44500 | ||
|---|---|---|---|
| 008 | 160408b1978 xxu||||| |||| 00| 0 eng d | ||
| 082 |
_a511.3 _bSz12a |
||
| 100 | _aSzabe, M. E. | ||
| 245 | 1 | _aALGEBRA OF PROOFS | |
| 260 |
_aAmsterdam _bNorth-Holland Pub. Co. _c1978 |
||
| 300 | _axii,297 | ||
| 440 |
_aStudies In Logic And The Foundations Of Mathematics, V. 88 _v |
||
| 500 | _aBibliography : P. 278-284 | ||
| 650 | _aProof Theory | ||
| 650 | _aCategories (Mathematics) | ||
| 650 | _aCombinatory Logic | ||
| 964 | _gCIRC | ||
| 997 | _aA57306 C | ||
| 999 |
_c277901 _d277901 |
||