A relevant analysis of natural deduction (1998)

by Samin S Ishtiaq, David J Pym
Venue:Journal of Logic and Computation