Sörensen，Henrik Kragh;米克尔·威勒姆·约翰森 简略证明中图表的认识作用。 （英语） Zbl 1524.00009号 Giardino，Valeria（编辑）等人，《图解表示和推理》。2022年9月14日至16日，第13届国际会议，图表2022，意大利罗马。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13462, 235-242 (2022).MSC公司：00A30型 00A35型 PDF格式BibTeX公司 XML格式引用 \textit{H.K.Sörensen}和\textit{M.W.Johansen}，Lect。注释计算。科学。13462，235--242（2022；Zbl 1524.00009） 全文： 内政部
安德鲁·阿伯丁（编辑）;科林·雅各布·里特伯格（编辑）;芬纳·斯坦利·坦斯韦尔（编辑） 数学实践的美德理论：导论。 （英语） 兹比尔1529.00039 合成 199，编号3-4，10167-10180（2021）.MSC公司：00年1月15日 00A30型 00A35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Aberdein}（编辑）等人，Synthese 199，No.3--4，10167-10180（2021；Zbl 1529.00039） 全文： 内政部
安德森，Line Edslev;汉内·安徒生;Sörensen，Henrik Kragh 证词在数学中的作用。 （英语） Zbl 1529.03011号 合成 199，编号1-2，859-870（2021）.MSC公司：03年05月 PDF格式BibTeX公司 XML格式引用 \textit{L.E.Andersen}等人，Synthese 199，No.1--2，859--870（2021；Zbl 1529.03011） 全文： 内政部
基思·韦伯 句法表征在集合论中的作用。 （英语） Zbl 1529.03264号 合成 198，补充26，S6393-S6412（2021）.MSC公司：03E99型 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{K.Weber}，综合198，S6393--S6412（2021；Zbl 1529.03264） 全文： 内政部 链接
安德森，Line Edslev;米克尔·威勒姆·约翰森;Sörensen，Henrik Kragh 数学家为数学家写作。 （英语） Zbl 1529.00019号 合成 198，补充26，S6233-S6250（2021）.MSC公司：00A35型 PDF格式BibTeX公司 XML格式引用 \textit{L.E.Andersen}等人，Synthese 198，S6233--S6250（2021；Zbl 1529.00019） 全文： 内政部