斯扎特科夫斯基(Szatkowski,Mirosław) 超相关谓词逻辑中的模型存在定理。 (英语) Zbl 0641.03015号 架构(architecture)。数学。物流Grundlagenforsch。 26, 111-121 (1987).MSC公司:03B45 PDF格式BibTeX公司 XML格式引用 \textit{M.Szatkowski},拱门。数学。Logik Grundlagenforsch公司。26111-121(1987;Zbl 0641.03015) 全文: 内政部 欧洲DML
沃尔克·魏斯芬宁 模块的量词消除。 (英语) Zbl 0609.03011号 架构(architecture)。数学。物流Grundlagenforsch。 25, 1-11 (1985). 审核人:P.罗思迈勒 MSC公司:03C10号机组 03C60型 13升05 13二氧化碳 13层05 PDF格式BibTeX公司 XML格式引用 \textit{V.魏斯芬宁},拱门。数学。Logik Grundlagenforsch公司。25,1--11(1985;Zbl 0609.03011) 全文: 内政部 欧洲DML
沃格尔,H。 Eine beweishetheoryetische Anwendung partiller stetiger Funktionale(艾因是安文敦的理论物理学家)。 (德语) 兹比尔0401.03021 架构(architecture)。数学。物流Grundlagenforsch。 19, 65-78 (1978).MSC公司:03D99号 2010年1月3日 20层03 68瓦99 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{H.Vogel},拱门。数学。Logik Grundlagenforsch公司。19、65——78(1978;Zbl 0401.03021) 全文: 内政部 欧洲DML