Open Access
1963 A Remark on Gentzen's paper “Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten induktionin der reinen zahlentheorie”, I
Gaisi Takeuti
Proc. Japan Acad. 39(5): 263-267 (1963). DOI: 10.3792/pja/1195523052
First Page PDF

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

Vol.39 • No. 5 • 1963
Back to Top