natural deduction, and the beck condition (1983)

by Hyperdoctrines
Venue:In Zeitschrift für Mathematische Logik und Grundlagen der Mathematik