Hauptsatz for higher-order logic (1968)

by Dag Prawitz
Venue:Journal of Symbolic Logic