Bob Davison <[EMAIL PROTECTED]> wrote in article <[EMAIL PROTECTED]> in gmane.comp.lang.haskell.cafe: > This leads me off thread to ask if anyone could recommend reading for > someone who has done mathematics to college level, but nearly 30 years ago > when many English schools didn't cover 20th century mathematics. I thought > calculus was about differentiation and integration and was very surprised to > discover that there were such things as 'predicate calculus', 'propositional > calculus', and various flavours of 'lambda calculus'. I also have little or > no idea of set theory, group theory, domain theory, combinatory logic, ...
How about "The Haskell Road to Logic, Maths and Programming" by Kees Doets and Jan van Eijck (http://homepages.cwi.nl/~jve/HR/), reviewed by Ralf Lämmel (http://arxiv.org/abs/cs/0512096)? -- Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig Earth???s crammed with heaven, And every common bush afire with God; But only he who sees, takes off his shoes; The rest sit round it and pluck blackberries. ??? Elizabeth B. Browning _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe