斯蒂芬·库克。 程序验证公理系统的健全性和完整性。 (英语) Zbl 0374.68009号 SIAM J.计算。 7, 70-90 (1978). 页码:24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 引用于9评论引用于113文件 MSC公司: 68号01 软件理论的一般主题 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Cook},SIAM J.Comput。7、70-90(1978年;Zbl 0374.68009) 全文: 内政部