There is a really nice book trying to teach exactly this (among other things) called "The Haskell Road To Logic, Maths and Programming": http://www.amazon.com/

There is a really nice book trying to teach exactly this (among other things) called "The Haskell Road To Logic, Maths and Programming": http://www.amazon.com/Haskell-Logic-Maths-Programming-Computing/dp/0954300696 http://www.amazon.com/Haskell-Logic-Maths-Programming-Comput...