A note on the reduction of Gentzen's calculus $LJ$
Curry, H. B.
Bull. Amer. Math. Soc., Tome 45 (1939) no. 11, p. 288-293 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1939-04-14
Classification:  
@article{1183501767,
     author = {Curry, H. B.},
     title = {A note on the reduction of Gentzen's calculus $LJ$},
     journal = {Bull. Amer. Math. Soc.},
     volume = {45},
     number = {11},
     year = {1939},
     pages = { 288-293},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183501767}
}

Curry, H. B. A note on the reduction of Gentzen's calculus $LJ$. Bull. Amer. Math. Soc., Tome 45 (1939) no. 11, pp.  288-293. http://gdmltest.u-ga.fr/item/1183501767/