数理逻辑引论-封面
数理逻辑引论-书签
数理逻辑引论-正文
作者: 李涛，张岩，刘峰主编
出版社: 哈尔滨工业大学出版社
出版时间: 2016/8/1
ISBN: 9787560361468
简介
本书共分5章，分别介绍了数理逻辑的研究对象、研究内容和研究方法；命题逻辑的基本概念、命题逻辑演算形式系统的组成、基本定理及其性质定理；一阶谓词逻辑演算形式系统的基本概念、组成、基本定理及其性质定理等。
常见问题
如何获取我想要的资源？
代找资源网不售卖任何资源，只代找资源，需要代找服务的小伙伴请添加客服QQ 1127720680
代找资源网不售卖任何资源，只提供代找服务
QQ客服
微信客服
![阀门手册使用与维修 [张汉林 编] 2013年PDF](https://daizhaoziyuan.com/wp-content/uploads/2022/06/e374eacde184201db871b2a13d607a10.jpg)
![汽车工程手册10新能源车辆设计篇 [日本自动车技术会 编] 2014年版](https://daizhaoziyuan.com/wp-content/uploads/2022/06/f14f642d40e6da89fbc11da8d1a51c17.jpg)
评论0