Yasuaki Kudo
2018-10-02 00:25:28 UTC
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
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