chchlectures
The Exciting World of Natural Deduction!!! By: Dylan Kane Jordan Bradshaw Virginia Walker.
Natural Deduction Manual JAPE