切换用户
查看图书详细信息
3，查看图书网页阅读
京公网安备11010202010100号
引文
×GB/T 7714-2015 格式引文
刘壮虎.逻辑演算[M].北京：中国社会科学出版社,1993
MLA 格式引文
刘壮虎.逻辑演算.北京,中国社会科学出版社:1993E-book.
APA 格式引文
刘壮虎(1993).逻辑演算.北京：中国社会科学出版社
图书简介
数理逻辑基本上有五个分支学科：逻辑演算、证明论、公理集合论、递归论和模型论。其中逻辑演算是最基础的部分，它是数理逻辑中逻辑方面的最主要的内容，或者说，它是学习和研究其他分支学科的基础理论。本书主要介绍古典逻辑演算的公理系统和自然推演系统，最后简要介绍一些非古典逻辑演算系统。
作者简介
图书目录
相关推荐
-
图书 小逻辑（一）
作者：[德]黑格尔 黄昀 常培育
图书 小逻辑（一）
-
2
图书 小逻辑（二）
作者：[德]黑格尔 黄昀 常培育
图书 小逻辑（二）
-
3
图书 佛教逻辑
作者：[俄]舍尔巴茨基 宋立道
图书 佛教逻辑
-
4
图书 图式逻辑
作者：刘新文
图书 图式逻辑
-
5
图书 逻辑导论
作者：〔美〕P·苏佩斯 宋文淦
图书 逻辑导论
-
6
图书 模态逻辑
作者：周北海
图书 模态逻辑
-
7
图书 逻辑哲学（上）
作者：郭贵春 殷杰
图书 逻辑哲学（上）
-
8
图书 逻辑哲学（下）
作者：郭贵春 殷杰
图书 逻辑哲学（下）
-
9
图书 STIT逻辑研究
作者：贾青
图书 STIT逻辑研究
-
10
图书 逻辑、历史与社会
作者：周超 朱志方
图书 逻辑、历史与社会
豆瓣评论