TY  - BOOK
AU  - Doets, Kees
AU  - 
TI  - The Haskell Road to Logic, Math and Programming
SN  - 9780954300692(paper back)
U1  - 005.114DOE 
PY  - 2012///
CY  - UK
PB  - College Publications
KW  - Logic programming
KW  - Logic, Symbolic and mathematical
UR  - http://10.10.170.122:8080/browse/book/2973
ER  -