Jan van Eijck Books

The Haskell Road to Logic, Maths and Programming