000 | 00610pam a2200181a 44500 | ||
---|---|---|---|
008 | 160408b2012 xxu||||| |||| 00| 0 eng d | ||
020 | _a9781439800003 | ||
040 | _aIIT, Kanpur | ||
082 |
_a160 _bB51c |
||
100 | _aBimbo, Katalin | ||
245 | 1 |
_aCombinatory logic _bpure, applied and typed _cKatalin Bimbo |
|
260 |
_aBoca Raton _bCrc Press _c2012 |
||
300 | _axi, 345p | ||
440 |
_aDiscrete Mathematics And Its Applications / Edited By Kenneth H. Rosen _v |
||
500 | _aIncludes Bibliographical References And Index | ||
650 | _aCombinatory logic | ||
997 | _aA172405 C | ||
999 |
_c369764 _d369764 |