返回首页 联系帮助
更多政治法律数理化文化科学教育体育文学环境安全生物社会科学经济自然科学航空航天艺术语言文字马列毛邓综合图书其他书籍
本书是国内介绍数理逻辑基本知识的最新读本。著者针对文科学生学习数理逻辑所遇到的困难,尽可能结合传统逻辑来介绍数理逻辑的基础知识,着重介绍逻辑演算的部分内容;对其中的自然推理系统做了详细介绍,对公理系...