Difference between revisions of "Natural Deduction"
From Wiki Notes @ WuJiewen.com, by Jiewen Wu
(New page: Attached are tutorial materials for Fall 2009, CS245 students @ UWaterloo. They are not meant to be complete, but summaries on Natural Deduction presented in the textbook by Huth and Ryan.) |
(No difference)
|
Revision as of 12:57, 30 September 2009
Attached are tutorial materials for Fall 2009, CS245 students @ UWaterloo. They are not meant to be complete, but summaries on Natural Deduction presented in the textbook by Huth and Ryan.