版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
数理逻辑与机器证明
丛 书 名：计算机科学丛书
版本说明：1版
I S B N：(纸本) 7030019199
出 版 社：科学出版社
出 版 年：1983年
页 数：186页
主 题 词：数理逻辑
学科分类：01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 07[理学] 08[工学] 081203[工学-计算机应用技术] 070104[理学-应用数学] 0835[工学-软件工程] 0701[理学-数学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 070101[理学-基础数学]
馆 藏 号：201183745...
摘 要：本书介绍数理逻辑及其在机器证明中的应用
