Remote Access Bulletin of the American Mathematical Society

Bulletin of the American Mathematical Society

ISSN 1088-9485(online) ISSN 0273-0979(print)

 

 

A note on the reduction of Gentzen's calculus $LJ$


Author: H. B. Curry
Journal: Bull. Amer. Math. Soc. 45 (1939), 288-293
MathSciNet review: 1563968
Full-text PDF


Additional Information

DOI: https://doi.org/10.1090/S0002-9904-1939-06962-0