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