数理逻辑引论-数理逻辑引论

《数理逻辑引论》，此词条收录于06/23，仅供参考

      《数理逻辑引论》是2011年哈尔滨工业大学出版社出版的图书，作者是李涛。

      本书共5章，分别介绍了数理逻辑的研究对象、研究内容和研究方法。命题逻辑的基本概念、命题逻辑演算形式系统的组成、基本定理及其性质定理。一阶谓词逻辑演算形式系统的基本概念、组成、基本定理及其性质定理、一阶语言的语义等。