A natural extension of natural deduction (1984)

by P Schroeder-Heister
Venue:Journal of Symbolic Logic