迈克尔·德特莱夫森 形式主义和希尔伯特对一致性问题的理解。 (英语) 兹比尔1469.00011 架构(architecture)。数学。逻辑 60,第5期,529-546(2021).MSC公司:00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Detlefsen},拱门。数学。逻辑60,No.5,529--546(2021;Zbl 1469.00011) 全文: DOI程序
迈克尔·德特莱夫森 关于证明动机理论。 (英语) Zbl 1429.03002号 Wansing,Heinrich(编辑),Dag Prawitz关于证明和意义。查姆:斯普林格。Outst公司。控制日志。7, 121-145 (2015).MSC公司:03-03 03年3月 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Detlefsen},Outst。控制日志。7、121——145(2015;Zbl 1429.03002) 全文: DOI程序