Assumption classes in natural deduction', Zeitschrift fr (1979)

by D Leivant
Venue:Math. Logik