迈克尔·戈登。;亚瑟·J·米尔纳。;克里斯托弗·沃兹沃思。 爱丁堡LCF。一种机械化的计算逻辑。 （英语） Zbl 0421.68039号 计算机科学课堂讲稿78。柏林-海德堡-纽约：斯普林格-弗拉格。八、 159 p.21.50马克；$12.10 (1979). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 引用于4评论引用于156文件 MSC公司： 68问题65 抽象数据类型；代数规范 68吨15 定理证明（演绎、解析等）（MSC2010） 68号01 软件理论的一般主题 关键词：可计算函数的逻辑;已实施系统的参考手册;编程元语言;自然扣除;目标导向证明程序;演绎演算;算法;程序;程序设计语言 软件：低成本融资 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gordon}等人，爱丁堡LCF。一种机械化的计算逻辑。柏林等：Springer-Verlag（1979；Zbl 0421.68039）