安德烈亚斯·魏尔曼 维布伦层次结构的一种简化的函数结构。 (英文) Zbl 0814.03037号 数学。日志。问:。 39,第2期,269-273(1993). 审核人:H.Pfeiffer(汉诺威) MSC公司:2015年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{A.Weiermann},数学。日志。问39,第2号,269--273(1993;Zbl 0814.03037) 全文: DOI程序
Moschovakis,Yiannis N。 作为算法和值的意义和外延。 (英文) Zbl 0823.03022号 Oikkonen,Juha Markku Robert(编辑)等人,《90年逻辑学术讨论会》。1990年7月15日至22日,ASL夏季会议在芬兰赫尔辛基举行。柏林:Springer-Verlag。莱克特。注释日志。2, 210-249 (1993). 审核人:G.Mints(斯坦福) MSC公司:03D75号 03B25号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{Y.N.莫斯科},莱克特。注释日志。2210--249(1993;Zbl 0823.03022)