http://homepages.cwi.nl/~jve/HR/ http://homepages.cwi.nl/~jve/HR/ Jan van Eijck's »The Haskell Road to Logic, Maths and Programming« does exactly that: it intr

http://homepages.cwi.nl/~jve/HR/ http://homepages.cwi.nl/~jve/HR/ Jan van Eijck's »The Haskell Road to Logic, Maths and Programming« does exactly that: it introduces you to mathematical proofs, basic logic issues (including relations) and programming using Haskell. I'd wholeheartedly recommend it to someone who's not yet had much contact to maths.