http://homepages.cwi.nl/~jve/HR/ http://homepages.cwi.nl/~jve/HR/ I'd recommend this one: The Haskell Road to Logic, Maths and Programming -- would fit best if

http://homepages.cwi.nl/~jve/HR/ http://homepages.cwi.nl/~jve/HR/ I'd recommend this one: The Haskell Road to Logic, Maths and Programming -- would fit best if you'd also have an interest in Haskell/FP, but it's also a good introduction to formal proofs -- might be a bit too basic if you're interested in higher maths, tho, but a good starting point for math education.