文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Wilfried Buchholz
发表
Normalfunktionen und Konstruktive Systeme von Ordinalzahlen
Wilfried Buchholz, Wilfried Buchholz, 1975 .
Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der pi-1/2-Separation und Bar-Induktion
Kurt Schütte, Wilfried Buchholz, 1983 .