A relevant analysis of natural deduction (1998)

by S S Ishtiaq, D J Pym
Venue:J. Log. Comput