The Haskell Road to Logic, Maths and Programming

Authors: Kees Doets and Jan van Eijck
From the cover:
The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell.

Texts in Computing Vol.4
King's College Publications, 2004
x+426 pp

For more information, see http://homepages.cwi.nl/~jve/HR/