切换用户
查看图书详细信息
3，查看图书网页阅读
京公网安备11010202010100号
引文
×GB/T 7714-2015 格式引文
刘壮虎.逻辑演算[M].北京：中国社会科学出版社,1993
MLA 格式引文
刘壮虎.逻辑演算.北京,中国社会科学出版社:1993E-book.
APA 格式引文
刘壮虎(1993).逻辑演算.北京：中国社会科学出版社
图书简介
数理逻辑基本上有五个分支学科：逻辑演算、证明论、公理集合论、递归论和模型论。其中逻辑演算是最基础的部分，它是数理逻辑中逻辑方面的最主要的内容，或者说，它是学习和研究其他分支学科的基础理论。本书主要介绍古典逻辑演算的公理系统和自然推演系统，最后简要介绍一些非古典逻辑演算系统。
作者简介
图书目录
相关推荐
-
图书 逻辑学：从形式逻辑到非形式逻辑
作者：杨红玉
图书 逻辑学：从形式逻辑到非形式逻辑
-
2
图书 逻辑、知识与认知逻辑
作者：刘邦凡
图书 逻辑、知识与认知逻辑
-
3
图书 从资本逻辑到符号逻辑
作者：王欢
图书 从资本逻辑到符号逻辑
-
4
图书 法律逻辑与侦查逻辑研究
作者：印大双
图书 法律逻辑与侦查逻辑研究
-
5
图书 人的逻辑与物的逻辑：重思辩证法和形式逻辑的关系
作者：葛宇宁
图书 人的逻辑与物的逻辑：重思辩证法和形式逻辑的关系
-
6
图书 范畴类型逻辑：从语言到逻辑
作者：邹崇理
图书 范畴类型逻辑：从语言到逻辑
-
7
图书 模态逻辑
作者：周北海
图书 模态逻辑
-
8
图书 形式逻辑·辩证逻辑·科学
作者：李浙生
图书 形式逻辑·辩证逻辑·科学
-
9
图书 本体论的逻辑基础：奎因逻辑观研究
作者：阴昭晖
图书 本体论的逻辑基础：奎因逻辑观研究
-
10
图书 弗雷格逻辑哲学与现代数理逻辑思潮
作者：郭泽深
图书 弗雷格逻辑哲学与现代数理逻辑思潮
相关词
阅读
豆瓣评论