[Haskell-cafe] 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.   

http://www.cs.cmu.edu/~fp/courses/atp/handouts/ch2-natded.pdf

Cheers!
Yasu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20181002/c55b0909/attachment.html>