<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div dir="ltr"></div><div dir="ltr">Hi,</div><div dir="ltr"><br></div><div dir="ltr">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.   </div><div dir="ltr"><br></div><div dir="ltr"><a href="http://www.cs.cmu.edu/~fp/courses/atp/handouts/ch2-natded.pdf">http://www.cs.cmu.edu/~fp/courses/atp/handouts/ch2-natded.pdf</a></div><div dir="ltr"><br></div><div dir="ltr">Cheers!</div><div dir="ltr">Yasu</div></body></html>