Assumption classes in natural deduction, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 25 (1979)

by D Leivant