Bob Davison
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