A note on the reduction of Gentzen’s calculus 𝐿𝐽
Open Access
- 1 January 1939
- journal article
- Published by American Mathematical Society (AMS) in Bulletin of the American Mathematical Society
- Vol. 45 (4), 288-293
- https://doi.org/10.1090/s0002-9904-1939-06962-0