Nested sequents for intuitionistic logics (0)

by M Fitting
Venue:Notre Dame Journal of Formal Logic