Natural Deduction

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Natural Deduction

Yasuaki Kudo
Hi,

I have already sent similar questions to other forums but am still looking.  Would you please advise where I can find a good explanation of Natural Deduction?  I have been reading the link below so far.   


Cheers!
Yasu

_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.