The Haskell Road to Logic, Maths and Programming by Jan van Eijck, Kees Doets & Van Jan Eijck