| 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 |
||