A consistency-proof of a formal theory of Ackermann's ordinal numbers

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Journal of the Mathematical Society of Japan 1958, Vol.10 (3), p.287-303
1. Verfasser:	KINO, Akiko
Format:	Artikel
Sprache:	eng
Schlagworte:	02.00
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!