[Haskell-cafe] Slightly off-topic

Bas van Dijk v.dijk.bas at gmail.com
Fri Nov 2 04:09:17 EDT 2007

On 11/1/07, PR Stanley <prstanley at ntlworld.com> 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:


Bas van Dijk

More information about the Haskell-Cafe mailing list