埃文·戈利斯;贝尔科娃,玛尔塔;Joost J.乔斯特恩。;卢卡·米凯克 可解释逻辑标签技术的理论和应用。 (英语) Zbl 1521.03237号 数学。日志。问:。 68,第3期,352-374(2022).MSC公司:03层45 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{E.Goris}等人,数学。日志。问68,第3号,352--374(2022;Zbl 1521.03237) 全文: 内政部
Joost J.乔斯特恩。 (\mathrm{I}\Sigma_1\)和PRA中可计算函数的一致性声明和迭代。 (英语) Zbl 1201.03054号 架构(architecture)。数学。逻辑 49,编号7-8,773-798(2010). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:30楼03号 03C62号 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Joosten},拱门。数学。逻辑49,编号7--8773--798(2010;Zbl 1201.03054) 全文: 内政部