Assumption classes in natural deduction", Zeitschrift fr math. Logik 25 (1979)

by D Leivant