Jean-Pierre Descés 安塞尔姆的逻辑分析Unum论据(来自宣讲). (英语) Zbl 1420.03051号 日志。Univers大学。 11,第1期,105-119(2017).MSC公司:03B60号 03B40型 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Desclés},日志。通用。11,第1号,第105-119条(2017;Zbl 1420.03051) 全文: 内政部
比姆博,卡塔林;J.Michael Dunn 从序贯演算(LT_ to ^t)中的证明中提取简单类型的(mathsf{BB'IW})居民,用于含意票蕴涵。 (英语) Zbl 1344.03028号 日志。Univers大学。 8,第2期,141-164(2014).MSC公司:03B47号 03B40型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.Bimbó}和\textit{J.M.Dunn},Log。通用。8,第2号,141--164(2014;Zbl 1344.03028) 全文: 内政部
乔纳森·塞尔丁。 柯里的形式主义是结构主义。 (英语) Zbl 1261.00005号 日志。Univers大学。 第5期,第1期,91-100(2011年). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Seldin},日志。通用。5,第1号,91--100(2011;Zbl 1261.00005) 全文: 内政部