Open Access
November 1966 A nonconstructive proof of Gentzen's Hauptsatz for second order predicate logic
W. W. Tait
Bull. Amer. Math. Soc. 72(6): 980-983 (November 1966).
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Vol.72 • No. 6 • November 1966
Back to Top