详细信息
摘要
馆藏信息
所有责任者
：
李涛，张岩，刘峰主编
标识号
：
ISBN : 978-7-5603-3411-0
出版、发行地
：
哈尔滨
关键词
：
数理逻辑---高等学校---教材
语种
：
Chinese 汉语
分类
：
中图分类 : O141
载体形态
：
139页
摘要
本书共5章，分别介绍了数理逻辑的研究对象、研究内容和研究方法。命题逻辑的基本概念、命题逻辑演算形式系统的组成、基本定理及其性质定理。一阶谓词逻辑演算形式系统的基本概念、组成、基本定理及其性质定理、一阶语言的语义等。
延伸检索