2-sequent calculus: Intuitionism and natural deduction (1993)

by A Masini
Venue:J. Log. Comput