汉斯·佩特·A·Künzi。;查利·马基图·基伍 任意(T_0)-拟度量空间的双重完成。 (英语) Zbl 1211.54039号 J.日志。阿尔盖布。程序。 76,第2期,251-269(2008).MSC公司:第54页第35页 54E55型 54E35个 54E15型 PDF格式BibTeX公司 XML格式引用 \textit{H.-P.A.Künzi}和\textit{C.M.Kivuvu},J.Log。阿尔盖布。程序。76,编号2251-269(2008年;兹bl 1211.54039) 全文: 内政部
瓦斯科·布拉特卡(编辑);汉斯·佩特·Künzi(编辑);贾格尔,格哈德(编辑) 专题:逻辑与信息:从逻辑到建构推理。论文基于2007年1月22日至25日在瑞士伯尔尼举行的瑞士-南非(SNSF-NRF)联合研讨会上的陈述。 (英语) Zbl 1146.68304号 J.日志。阿尔盖布。程序。76,第2161-295号(2008年)。 MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式