Publisher
The Japan Association for Philosophy of Science
Reference11 articles.
1. [1] T. Arai, A subsystem of classical analysis proper to Takeuti's reduction method for Π11-analysis, Tsukuba J. Math. 9 (1985), 21-29.
2. [2] G. Gentzen, Untersuchungen über das logische Schliessen, Math. Zeit. 39 (1934-5), 176-210, 405-431.
3. [3] G. Gentzen, Die Widerspruchsfreiheit der reinen Zahlentheorie, Math. Ann. 112 (1936), 493-565.
4. [4] G. Gentzen, Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie, Forsch. zur Log. u. Grundl. der exakt. Wiss., New Series 4 (1938), 19-44.
5. [5] K. Gödel, Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes, Biblio. Sci. 34 Logica (1960), 76-83.