贾格尔,格哈德;马蒂斯·克雷茨;托马斯·施图德 无穷大\(\mu\)的规范完备性。 (英语) Zbl 1156.68013号 J.日志。阿尔盖布。程序。 76,第2期,270-292(2008)。MSC公司:68纳米30 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Jäger}等人,J.Log。阿尔盖布。程序。76,第2号,270--292(2008;Zbl 1156.68013) 全文: 内政部 链接
汉斯·佩特·A·Künzi。;查利·马基图·基伍 任意(T_0)-拟度量空间的双重完成。 (英语) Zbl 1211.54039号 J.日志。阿尔盖布。程序。 76,第2期,251-269(2008)。MSC公司:54天35分 54E55型 54E35个 第54页第15页 PDF格式BibTeX公司 XML格式引用 \textit{H.-P.A.Künzi}和\textit{C.M.Kivuvu},J.Log。阿尔盖布。程序。76,第2号,251--269(2008;Zbl 1211.54039) 全文: 内政部
玛丽亚·路易斯·科拉桑特;多米尼克·范德泽彭 关于(T_1)-空间的对角线的闭包。 (英语) Zbl 1151.54017号 J.日志。阿尔盖布。程序。 76,第2号,246-250(2008)。 审核人:寿林(福建) MSC公司:54D10号 54A05型 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Colasante}和\textit{D.van der Zypen},J.Log。阿尔盖布。程序。76,第246-250号(2008年;兹bl 1151.54017) 全文: 内政部 arXiv公司
理查德·麦金利 软线性集理论。 (英语) Zbl 1145.03036号 J.日志。阿尔盖布。程序。 76,第2期,226-245(2008)。MSC公司:03楼52 03E70型 PDF格式BibTeX公司 XML格式引用 \textit{R.McKinley}、J.Log。阿尔盖布。程序。76,第2号,226--245(2008;Zbl 1145.03036) 全文: 内政部
Kai布伦勒;马丁·兰格 时序逻辑的无切割序列系统。 (英语) Zbl 1151.03009号 J.日志。阿尔盖布。程序。 76,第2期,216-225(2008)。 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B44号 03B70号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{K.Brünnler}和\textit{M.Lange},J.Log。阿尔盖布。程序。76,第2号,216--225(2008;Zbl 1151.03009) 全文: 内政部 链接
巴博拉尔,D。;帕塔·普拉蒂姆·戈什 涉及Borel空间的对偶。 (英语) Zbl 1154.06005号 J.日志。阿尔盖布。程序。 76,第2期,209-215(2008)。 审核人:Themba Dube(Unisa) MSC公司:2012年2月6日 06年50月 28A05号 54B30型 PDF格式BibTeX公司 XML格式引用 \textit{D.Baboolal}和\textit{P.Ghosh},J.Log。阿尔盖布。程序。76,第2号,209--215(2008;Zbl 1154.06005) 全文: 内政部
米歇尔·克雷布斯;朱尔格·施密德 对分配格的顺序进行排序。 (英语) Zbl 1151.06003号 J.日志。阿尔盖布。程序。 76,第2期,198-208(2008)。 审核人:Lavinia Ciungu(水牛) MSC公司:06A07年 05年6月 06年50月 PDF格式BibTeX公司 XML格式引用 \textit{M.Krebs}和\textit{J.Schmid},J.Log。阿尔盖布。程序。76,第2号,198--208(2008;Zbl 1151.06003) 全文: 内政部
托马斯·斯特拉姆;杰弗里·祖克 抽象代数上存在断言的本原递归选择函数。 (英语) Zbl 1156.03043号 J.日志。阿尔盖布。程序。 76,第2期,175-197(2008)。MSC公司:03D60年 30楼03号 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Strahm}和\textit{J.Zucker},J.Log。阿尔盖布。程序。76,第2号,175--197(2008;Zbl 1156.03043) 全文: 内政部 链接
阿希姆·荣格;M.Andrew Moshier 双拓扑空间的Hofmann-Mislove定理。 (英语) Zbl 1221.54036号 J.日志。阿尔盖布。程序。 76,第2期,161-174(2008)。 审核人:M.N.Mukherjee(加尔各答) MSC公司:54E55型 2012年2月6日 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Jung}和\textit{M.A.Moshier},J.Log。阿尔盖布。程序。76,第2号,161--174(2008;Zbl 1221.54036) 全文: 内政部
瓦斯科·布拉特卡(编辑);汉斯·彼得·肯齐(编辑);杰格,格哈德(编辑) 专题:逻辑与信息:从逻辑到建构推理。论文基于2007年1月22日至25日在瑞士伯尔尼举行的瑞士-南非(SNSF-NRF)联合研讨会上的陈述。 (英语) Zbl 1146.68304号 J.日志。阿尔盖布。程序。76,第2期,161-295(2008)。 MSC公司:68-06 00时25分 PDF格式BibTeX公司 XML格式