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