A natural extension of natural deduction (1984)

by Peter Schroeder-Heister
Venue:J. of Symbolic Logic