| 000 | 00447 a2200157 4500 | ||
|---|---|---|---|
| 020 | _a9027703051 | ||
| 035 | _a | ||
| 090 |
_c18227 _d18227 |
||
| 100 | _aStenlund, Soren | ||
| 245 |
_aCombinators, $\lambda& - Terms and Proof Theory _cSoren Stenlund |
||
| 260 |
_aDordrecht _bD. Reidel Publishing Company _c1972 |
||
| 300 |
_a184 p _bill _c22 cm |
||
| 440 | _aSynthese Library | ||
| 500 | _aContine bibliografie si index | ||
| 942 |
_aIMAR _cCART _sPG |
||
| 999 |
_c17976 _d17976 |
||