Concerning Formulas of the Types A → B ∨ C, A → (Ex)B(x (0)

by R Harrop
Venue:in Intuitionistic Formal Systems, Journal of Symbolic Logic 25 (1960), 27