| 000 | 00475pam a2200181a 44500 | ||
|---|---|---|---|
| 008 | 160408b1972 xxu||||| |||| 00| 0 eng d | ||
| 082 |
_a511.6 _bSt42c |
||
| 100 | _aStenlund, Soren | ||
| 245 | 1 | _aCOMBINATORS, TERMS AND PROOF THEORY | |
| 260 |
_aDordrecht _bD. Reidel _c1972 |
||
| 300 | _a184 | ||
| 440 |
_aSynthese Library _v |
||
| 500 | _aBibliography : P. 177-180 | ||
| 650 | _aCombinatory Logic | ||
| 650 | _aProof Theory | ||
| 964 | _gCIRC | ||
| 997 | _aA63876 C | ||
| 999 |
_c292631 _d292631 |
||