| 000 | 00832nam a2200265 a 4500 | ||
|---|---|---|---|
| 008 | |||
| 020 | _a0521318394 (pbk.) | ||
| 049 | _aMAIN | ||
| 090 | _aQA9.5 | ||
| 100 | 1 | _aHindley, J. Roger. | |
| 245 | 1 | 0 |
_aIntroduction to combinators and [lambda]-calculus / _cJ. Roger Hindley, Jonathan P. Seldin. |
| 260 |
_aCambridge : _bCambridge University Press, _c1986. |
||
| 300 |
_a360 p. ; _c23 cm. |
||
| 440 | 0 |
_aLondon Mathematical Society student texts ; _v1 |
|
| 504 | _aIncludes bibliographical references : p. 340-352. | ||
| 500 | _aIncludes index. | ||
| 650 | 0 | _aCombinatory logic. | |
| 650 | 0 | _aLambda calculus. | |
| 700 | 1 | _aSeldin, J. P. | |
| 907 |
_a.b10039454 _b06-09-03 _c17-04-03 |
||
| 003 | |||
| 005 | 20230123133415.0 | ||
| 040 | _cNUST | ||
| 942 |
_cBOOKS _kQA9.5 |
||
| 999 |
_c148059 _d148059 |
||