000 | 00798cam a22002654a 4500 | ||
---|---|---|---|
003 | inmoiis | ||
005 | 20170925221734.0 | ||
020 | _a9781439800003 (hardcover : alk. paper) | ||
020 | _a1439800006 (hardcover : alk. paper) | ||
040 | _ainmoiis | ||
041 | _aEng | ||
044 | _aXXU | ||
082 | 0 | 0 |
_a511.3 _222 _bBIM-C |
100 | 1 |
_aBimbo, Katalin, _d1963- _95786 |
|
245 | 1 | 0 |
_aCombinatory logic : _bpure, applied and typed _cKatalin Bimbó |
260 |
_aBoca Raton _bCRC Press, _c2012. |
||
300 |
_a345 p. _bill. |
||
440 |
_aDiscrete mathematics and its applications _9407 |
||
500 | _aIncludes bibliographical references and index. | ||
650 | 0 |
_aMathematics _95787 |
|
650 | 0 |
_aCombinatory logic. _94931 |
|
902 | _0IISER Mohali | ||
942 |
_2ddc _cBK |
||
999 |
_c3638 _d3638 |