TY  - RPRT
TI  - Book review "The Haskell Road to Logic, Maths and Programming"
AU  - Ralf Laemmel
PY  - 2006
UR  - https://arxiv.org/abs/cs/0512096
ID  - cs/0512096
ER  -