切换用户
查看图书详细信息
3，查看图书网页阅读
京公网安备11010202010100号
引文
×GB/T 7714-2015 格式引文
刘壮虎.逻辑演算[M].北京：中国社会科学出版社,1993
MLA 格式引文
刘壮虎.逻辑演算.北京,中国社会科学出版社:1993E-book.
APA 格式引文
刘壮虎(1993).逻辑演算.北京：中国社会科学出版社
图书简介
数理逻辑基本上有五个分支学科：逻辑演算、证明论、公理集合论、递归论和模型论。其中逻辑演算是最基础的部分，它是数理逻辑中逻辑方面的最主要的内容，或者说，它是学习和研究其他分支学科的基础理论。本书主要介绍古典逻辑演算的公理系统和自然推演系统，最后简要介绍一些非古典逻辑演算系统。
作者简介
图书目录
相关推荐
-
图书 智能传播发展的逻辑演进研究
作者：赵静宜
图书 智能传播发展的逻辑演进研究
-
2
图书 逻辑、知识与认知逻辑
作者：刘邦凡
图书 逻辑、知识与认知逻辑
-
3
图书 小逻辑（一）
作者：黄昀 常培育 [德]黑格尔
图书 小逻辑（一）
-
4
图书 从资本逻辑到符号逻辑
作者：王欢
图书 从资本逻辑到符号逻辑
-
5
图书 逻辑学：从形式逻辑到非形式逻辑
作者：杨红玉
图书 逻辑学：从形式逻辑到非形式逻辑
-
6
图书 形式逻辑·辩证逻辑·科学
作者：李浙生
图书 形式逻辑·辩证逻辑·科学
-
7
图书 模态逻辑
作者：周北海
图书 模态逻辑
-
8
图书 逻辑哲学（上）
作者：郭贵春 殷杰
图书 逻辑哲学（上）
-
9
图书 逻辑导论
作者：〔美〕P·苏佩斯 宋文淦
图书 逻辑导论
-
10
图书 图式逻辑
作者：刘新文
图书 图式逻辑
豆瓣评论