德克·范·达伦 从布鲁维尔反例到创作主题。 (英语) Zbl 0922.03083号 螺柱日志。 62,第2号,305-314(1999). 审核人:维克托·克里夫佐夫(莫斯科) MSC公司:03楼55 03-02 PDF格式BibTeX公司 XML格式引用 \textit{D.van Dalen},Stud.Log。62,第2号,305-314(1999;Zbl 0922.03083) 全文: 内政部
Troelstra,A.S。 后继枝上的边缘。 (英语) Zbl 0924.03104号 双头螺栓日志。 62,第2期,291-303(1999). 审核人:Helmut Pfeiffer(汉诺威) MSC公司:07年3月 05年3月 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Troelstra},Stud.Log。62,第2号,291--303(1999;Zbl 0924.03104) 全文: 内政部
赫尔穆特·施维滕贝格 单调优化函数。 (英语) Zbl 0923.03070号 螺柱日志。 62,第2期,283-289(1999). 审核人:G.Mints(斯坦福) MSC公司:03楼50 2010年1月3日 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{H.Schwichtenberg},研究日志。62,第2号,283--289(1999;Zbl 0923.03070) 全文: 内政部
乔瓦尼·桑宾 次直接不可约模态代数和初始框架。 (英语) Zbl 0922.03087号 螺柱日志。 62,第269-282号(1999年). 审核人:L.Esakia(第比利斯) MSC公司:03G25号 06E25年 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.Sambin},Stud.Log。62,第2号,269--282(1999;Zbl 0922.03087) 全文: 内政部
佛朗哥·蒙塔格纳;朱利亚·西米 测量理论学习和信息学习的范式。 (英语) Zbl 0924.68172号 螺柱日志。 62,第2期,243-268(1999).MSC公司:68T05型 65年第68季度 03天80 PDF格式BibTeX公司 XML格式引用 \textit{F.Montagna}和\textit{G.Simi},研究日志。62,第2号,243--268(1999;Zbl 0924.68172) 全文: 内政部
皮埃尔路易吉·米纳里 积极分层理解的类型和名称理论。 (英语) Zbl 0922.03081号 螺柱日志。 62,第2期,215-242(1999).MSC公司:03楼50 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{P.米纳里},Stud.Log。62,第2号,215--242(1999;Zbl 0922.03081) 全文: 内政部
安娜丽莎·马尔贾;卡洛·托法洛里 关于几类交换by-无限群的元素性。 (英语) 兹伯利1018.03035 双头螺栓日志。 62,第2期,201-213(1999). 审核人:Paul C.Eklov(MR 2000f:03111) MSC公司:03C60型 20K99美元 20甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Marcja}和\textit{C.Toffalori},Stud.Log。62,第2201-213号(1999年;兹bl 1018.03035) 全文: 内政部
斯特凡·德姆里;或者鄂尔多斯卡 每个有限可约逻辑都具有关于(菱形)公式类的有限模型性质。 (英语) Zbl 0921.03021号 螺柱日志。 62,第2期,177-200(1999).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{E.或łowska},Stud.Log。62,第2号,177--200(1999;Zbl 0921.03021) 全文: 内政部
乔瓦娜·科尔西 用图解法证明布尔定理。 (英语) Zbl 1018.03018号 螺柱日志。 62,第2期,163-176(1999). 审核人:D.斯科沃尔佐夫(莫斯科) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.Corsi},螺柱日志。62,No.2,163--176(1999;Zbl 1018.03018) 全文: 内政部
安德烈亚·坎蒂尼 将奎因的NF与费弗曼的EM联系起来。 (英语) Zbl 0923.03068号 螺柱日志。 62,第2期,141-162(1999). 审核人:G.Mints(斯坦福) MSC公司:03楼50 03电子70 PDF格式BibTeX公司 XML格式引用 \textit{A.Cantini},螺柱日志。62,第2号,141--162(1999;Zbl 0923.03068) 全文: 内政部
法比奥·贝里西玛;萨维里奥·西塔迪尼 时态逻辑中的有限树。 (英语) Zbl 0970.03024号 螺柱日志。 62,第2期,121-140(1999). 审核人:V.Shekhtman(莫斯科) MSC公司:03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{F.Bellissima}和\textit{S.Cittadini},Stud.Log。62,第2号,121--140(1999;Zbl 0970.03024) 全文: 内政部
Dalla Chiara,玛丽亚·路易莎;丹尼尔·蒙迪奇 特刊前言:为纪念埃托雷·卡萨里而选的论文。 (英语) Zbl 0922.01030号 螺柱日志。 62,第2期,117-120(1999).MSC公司:01A70型 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Dalla Chiara}和\textit{D.Mundici},研究日志。62,第2号,117--120(1999;Zbl 0922.01030) 全文: 内政部
Dalla Chiara,玛丽亚·路易莎 丹尼尔·蒙迪奇(编辑) 为纪念Ettore Casari而选的论文。 (英语) Zbl 0920.00057号 双头螺栓日志。 62,第2期,117-314(1999).MSC公司:00立方厘米 03-06 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Dalla Chiara}和\textit{D.Mundici}(编辑),研究日志。62,第2号,117--314(1999;Zbl 0920.00057) 全文: 内政部