诺曼·M·马丁。 逻辑系统。 (英语) Zbl 0752.03001号 剑桥等:剑桥大学出版社,。xi,第320页(1989年)。 审核人:E.Mendelson(法拉盛) MSC公司:03-02 03B05号 03-01 03B30型 03B10号机组 03B45 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{N.M.Martin},逻辑系统。剑桥等:剑桥大学出版社(1989;Zbl 0752.03001)
萨佐诺夫,V.Yu。 一类多分类代数理论,它等价于具有有限乘积的范畴。 (英语) Zbl 0706.18004号 Botik的逻辑,Proc。计算机科学逻辑基础研讨会,佩雷斯拉夫·泽莱斯基/苏联1989年,Lect。注释计算。科学。363, 230-244 (1989). 审核人:W.托伦 MSC公司:18立方厘米 PDF格式BibTeX公司 XML格式
西尔维奥·吉拉尔迪 一些非经典一阶逻辑的前置语义和独立性结果。 (英语) Zbl 0691.03013号 架构(architecture)。数学。逻辑 29,第2期,125-136(1989). 审核人:S.吉拉尔迪 MSC公司:03B55号 03B45 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi},拱门。数学。逻辑29,No.2,125--136(1989;Zbl 0691.03013) 全文: 内政部
尤祖鲁·卡库达 集合论摘自康托的神学本体论。 (英语) Zbl 0668.03026号 安。日本人。菲洛斯协会。科学。 7,第4号,173-183(1989). 审核人:普赖斯特 MSC公司:03E70型 03B45 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kakuda},Ann.日本协会Philos。科学。7,第4号,173--183(1989;Zbl 0668.03026) 全文: 内政部
皮耶朗基罗·米利奥利;乌戈·莫斯卡托;马里奥·奥尔纳吉;加布里埃尔·乌斯贝蒂 基于古典真理的建构主义。 (英语) Zbl 0667.03044号 圣母院J.形式逻辑 30,No.1,67-90(1989). 审核人:S.V.索洛维耶夫 MSC公司:03楼50 PDF格式BibTeX公司 XML格式引用 \textit{P.Miglioli}等人,圣母院J.形式逻辑30,No.1,67--90(1989;Zbl 0667.03044) 全文: 内政部
安德烈亚·坎蒂尼 关于真理形式理论的注释。 (英语) Zbl 0661.03043号 Z.数学。Logik Grundlagen数学。 35,第2期,97-130(1989). 审核人:A.坎蒂尼 MSC公司:30楼03号 03B30型 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cantini},Z.数学。Logik Grundlagen数学。35,第2号,97--130(1989;Zbl 0661.03043) 全文: 内政部