000 00656nam a22002297a 4500
999 _c53379
_d53376
003 PK-NaQUE
005 20260331101148.0
008 260331b ||||| |||| 00| 0 eng d
020 _a9780954300692(paper back)
040 _cQUEST
082 _a005.114DOE
100 _aDoets, Kees
245 _aThe Haskell Road to Logic, Math and Programming
250 _a2nd ed.
260 _aUK:
_bCollege Publications,
_c2012.
300 _aX,432p. ;
650 _aLogic programming
650 _aLogic, Symbolic and mathematical
700 _4 Eijck, Jan van
856 _uhttp://10.10.170.122:8080/browse/book/2973
_yDownload eBook
942 _cBK
_2ddc