Michael A. Gilbert. A heuristic procedure for natural deduction derivations using reductio ad absurdum. Notre Dame Journal of Formal Logic, 17(4):638-639, 1976. [doi]
No references recorded for this publication.
No citations of this publication recorded.