On 11/1/07, PR Stanley <[EMAIL PROTECTED]> wrote: > If anyone knows anything about the rules of proof by deduction and > quantifiers I'd be grateful for some assistance.
I'm currently doing a course on Type Theory which includes proving by natural deduction. See, among other things, the course notes on: http://www.cs.ru.nl/~freek/courses/tt-2007 regards, Bas van Dijk _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe