Open Access
April 1939 A note on the reduction of Gentzen's calculus $LJ$
H. B. Curry
Bull. Amer. Math. Soc. 45(4): 288-293 (April 1939).
First Page PDF

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

Vol.45 • No. 4 • April 1939
Back to Top