马库斯·谢弗;丹尼尔·什·特凡科维奇 不动点、纳什均衡和实存在论。 (英语) Zbl 1362.68088号 理论计算。系统。 60,第2期,172-193(2017)。MSC公司:2015年第68季度 03B25号 03C07号机组 第14页 54H25个 91年10月 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{M.Schaefer}和\textit{D.Štefanković},理论计算。系统。60,第2号,172--193(2017;Zbl 1362.68088) 全文: 内政部
保罗·托里尼;约翰·G·斯特尔。;布兰登·贝内特 直觉命题逻辑的二阶单拓扑和模态扩展。 (英语) 兹比尔1185.03036 J.应用。非类别。日志。 12,第3-4495-525号(2002年)。MSC公司:03B45号 03B55号 54A99号 68T27型 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{P.Torrini}等人,J.Appl。非类别。日志。12,编号3--4,495--525(2002;Zbl 1185.03036) 全文: 内政部