[PRL] The Haskell Road to Logic, Maths and Programming

[Riccardo Pucella]

Hi folks,

Some of you may know this one already, but I just I came across a
review of a introductory math/logic textbook that uses Haskell as an
implementation language. Sounds interesting.

The book is "The Haskell Road to Logic, Maths and Programming", by
Doets and van Eijck, King's College Publications.

The review:  http://arxiv.org/abs/cs.PL/0512096


 Cheers, 
 Riccardo