000 | 00751 a2200289 4500 | ||
---|---|---|---|
003 | inmoiis | ||
005 | 20171010174015.0 | ||
020 | _a0954300096 | ||
040 | _ainmoiis | ||
041 | _aEng | ||
044 | _aXXK | ||
082 |
_a005.1 _222 _bDOE-H |
||
100 |
_aDoets,Kees _9165 |
||
245 |
_aThe Haskell road to logic,maths and programming _cKees Doets |
||
260 |
_aLondon _bKing's College _c2004 |
||
300 | _a426p. | ||
500 | _ainclude index. | ||
650 | _aComputer science | ||
650 |
_aComputer programming _94440 |
||
650 |
_aMaths and Programming _96474 |
||
650 |
_aPolynomials _93750 |
||
650 |
_aFinite sets _96475 |
||
700 |
_aEijck,Jan Van _91425 |
||
902 | _0IISER Mohali | ||
942 |
_cBK _2ddc |
||
999 |
_c1763 _d1763 |