T007472　数理逻辑与机器证明

出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第16册工业技术(下)》第789页（179字）

陆钟万编着。

科学出版社1983年11月版。15．6万字。介绍数理逻辑及其在机器证明中的应用。数理逻辑部分主要讲述数理逻辑的研究对象和方法，命题逻辑、一阶逻辑以及它们的可靠性和完备性问题，并阐述重言式的推理，论证了它与自然推理的关系。

机器证明部分主要描述与数理逻辑有关的机器证明问题。收入“计算机科学丛书”。