数理逻辑引论

【书名】 数理逻辑引论
【作者】 李涛,张岩,刘峰
【出版社】 哈尔滨哈尔滨工业大学出版社
【出版时间】 2016.08
【关键词】 数理逻辑高等学校教材
【摘要描述】 本书共分章,分别介绍了数理逻辑的研究对象、研究内容和研究方法命题逻辑的基本概念、命题逻辑演算形式系统的组成、基本定理及其性质定理一阶谓词逻辑演算形式系统的基本概念、组成、基本定理及其性质定理等。
【中国图书分类号】 O141

在线工具导航