natural deduction and the beck condition. Zeitschr. f. math. Logik und Grundlagen d (1983)

by Hyperdoctrines
Venue:Math