约翰·科克伦;威廉·哈彻;约翰，赫林 变量绑定项运算符。 （英语） Zbl 0257.02013.中 Z.数学。Logik Grundlagen数学。 18, 177-182 (1972). 审核人：牛顿·C·A·达·科斯塔 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于6文件 MSC公司： 03B10号机组 经典一阶逻辑 03C80号 带有额外量词和运算符的逻辑 03B99号 一般逻辑 PDF格式BibTeX公司 XML格式引用 \textit{J.Corcoran}等人，Z.数学。Logik Grundlagen数学。18、177--182（1972年；Zbl 0257.02013） 全文： 内政部 链接