A note on the reduction of Gentzen’s calculus $LJ$
HTML articles powered by AMS MathViewer
- by H. B. Curry PDF
- Bull. Amer. Math. Soc. 45 (1939), 288-293
References
Additional Information
- Journal: Bull. Amer. Math. Soc. 45 (1939), 288-293
- DOI: https://doi.org/10.1090/S0002-9904-1939-06962-0
- MathSciNet review: 1563968