chchlectures
A Brief History of Natural Deduction (Pelletier)
The Exciting World of Natural Deduction!!! By: Dylan Kane Jordan Bradshaw Virginia Walker.