彼得·萨博;约格·西克曼;迈克尔·霍切 什么是本质上的统一? (英语) Zbl 1439.68022号 Omodeo、Eugenio G.(编辑)等,马丁·戴维斯,关于可计算性、计算逻辑和数学基础。查姆:斯普林格。Outst公司。控制日志。10, 285-314 (2016).MSC公司:68T27型 03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{P.Szabo}等人,Outst。控制日志。10、285--314(2016;Zbl 1439.68022) 全文: 内政部
迈克尔·霍切;彼得·萨博 基本制服。 (英语) Zbl 1108.03019号 J.应用。日志。 4,第1号,1-25(2006)。 审核人:奈尔·扎莫夫(喀山) MSC公司:03B35型 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Hoche}和\textit{P.Szabó},J.Appl。日志。4、编号1、1--25(2006;Zbl 1108.03019) 全文: 内政部