A Nonconstructive Proof of Gentzen's Hauptsatz for Second Order Predicate Logic
Bulletin of the American Mathematical Society
doi 10.1090/s0002-9904-1966-11611-7
Full Text
Open PDFAbstract
Available in full text
Date
November 1, 1966
Authors
Publisher
American Mathematical Society (AMS)