张振华, 著
出版社:辽宁大学出版社
年代:2012
定价:25.0
数理逻辑是从传统形式逻辑中分化出来的一门新兴科学。本书从4个方面讲述了数理逻辑及其基础知识。第一部分是命题逻辑;第二部分是谓词逻辑;第三部分是命题演算;第四部分是谓词演算。
数理逻辑基础是辽宁大学出版社于2012.1出版的中图分类号为 O141 的主题关于 数理逻辑 的书籍。
胡世华, 陆钟万, 著
李未, 著
张再跃, 张晓如, 编著
朱梧槚, 肖奚安, 编著
(美) 恩德滕, 著
冯琦, 编著
陈慕泽, 著