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