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

DOI10.1090/S0002-9904-1939-06962-0zbMATH Open65.0030.02MaRDI QIDQ2590263FDOQ2590263

Authors: Haskell B. Curry 

Publication date: 1939

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

This page was built for publication: A note on the reduction of Gentzen's calculus LJ.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2590263)