皮埃尔路易吉·米纳里 模态逻辑和隐式收缩的标记序列计算。 (英语) Zbl 1303.03053号 架构(architecture)。数学。逻辑 52,编号7-8,881-907(2013). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B45 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{P.Minari},拱门。数学。逻辑52,编号7--8881--907(2013;Zbl 1303.03053) 全文: 内政部
普勒斯,W。 证明理论和序数分析。 (英语) Zbl 0724.03033号 架构(architecture)。数学。逻辑 30,编号5-6,311-376(1991). 审核人:H.Pfeiffer(汉诺威) MSC公司:2015年1月3日 03财年03 05年3月 07年3月 03E55型 20层03 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{W.Pohlers},拱门。数学。逻辑30,编号5--6311--376(1991;Zbl 0724.03033) 全文: 内政部
西尔维奥·吉拉尔迪 一些非经典一阶逻辑的前置语义和独立性结果。 (英语) Zbl 0691.03013号 架构(architecture)。数学。逻辑 29,第2期,125-136(1989). 审核人:S.吉拉尔迪 MSC公司:03B55号 03B45 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi},拱门。数学。逻辑29,No.2,125--136(1989;Zbl 0691.03013) 全文: 内政部