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
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: