范·埃姆登，M.H。;科瓦尔斯基，R.A。 谓词逻辑作为一种编程语言的语义。 （英文） Zbl 0339.68004号 J.协会计算。机器。 23, 733-742 (1976). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4个 +5 显示扫描页面 引用于6评论引用于255文件 MSC公司： 68号01 软件理论的一般主题 65年第68季度 形式语言和自动机 68吨15 定理证明（演绎、解析等）（MSC2010） 68吨10 模式识别、语音识别 03B10号机组 经典一阶逻辑 PDF格式BibTeX公司 XML格式引用 \textit{M.H.van Emden}和\textit{R.A.Kowalski}，J.协会计算。机器。23733--742（1976年；Zbl 0339.68004） 全文： 内政部