Proceedings of the Japan Academy
Print ISSN : 0021-4280
Gentzen's Theorem on an Extended Predicate Calculus
Shôji MAEHARA
Author information
JOURNAL FREE ACCESS

1954 Volume 30 Issue 10 Pages 923-926

Details
Download PDF (324K)
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Article 1st page
Content from these authors

This article cannot obtain the latest cited-by information.

© The Japan Academy
Previous article Next article
Favorites & Alerts

Recently viewed articles
Predecessor

Proceedings of the Imperial Academy

Successor

Proceedings of the Japan Academy, Series B

Share this page
feedback
 Top