Gaisi Taxeuti. A remark on Gentzen's paper “Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie.” I—II. Proceedings of the Japan Academy, vol. 39 (1963), pp. 263–269

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	The Journal of symbolic logic 1964-03, Vol.29 (1), p.58-59
1. Verfasser:	Guard, James R.
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!