版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
数理逻辑引论
丛 书 名：高等学校“十二五”规划教材
版本说明：2
I S B N：(纸本) 9787560361468
出 版 社：哈尔滨工业大学出版社
出 版 年：2016年
页 数：140页
学科分类：01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 07[理学] 070104[理学-应用数学] 0701[理学-数学] 070101[理学-基础数学]
馆 藏 号：201454841...
摘 要：本书共分5章，分别介绍了数理逻辑的研究对象、研究内容和研究方法;命题逻辑的基本概念、命题逻辑演算形式系统的组成、基本定理及其性质定理;一阶谓词逻辑演算形式系统的基本概念、组成、基本定理及其性质定理等。
