Open Access
Translator Disclaimer
1956 On the cut operation in Gentzen calculi
Kiyoshi Iséki
Proc. Japan Acad. 32(10): 719-721 (1956). DOI: 10.3792/pja/1195525210
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

JOURNAL ARTICLE
3 PAGES


SHARE
Vol.32 • No. 10 • 1956
Back to Top