数理逻辑引论

书籍简介:

本书内容主要侧重于逻辑演算：即命题逻辑演算和一阶谓词逻辑演算，这些内容是构成数理逻辑其它分支的共同基础。全书共分五章，分别介绍了数理逻辑的研究对象、研究内容和研究方法；命题逻辑的基本概念、命题逻辑演算形式系统的组成、基本定理及其性质定理；一阶谓词逻辑演算形式系统的基本概念、组成、基本定理及其性质定理、一阶语言的语义等。

书籍规格:

书籍信息归属:

数理逻辑引论是哈尔滨工业大学出版社于2016.8出版的中图分类号为 O141 的主题关于 数理逻辑－高等学校－教材 的书籍。