收藏 纠错 引文

逻辑演算

ISBN：7-5004-1425-0

出版日期：1993-12

页数：211

字数：170.0千字

丛书名：《现代逻辑丛书》

点击量：11615次

定价：9.00元

中图法分类：
出版单位：
中国社会科学出版社
关键词：
专题：
基金信息： 此项研究成果受国家社会科学基金资助 展开
PDF试读 网页试读 立即荐购
购买电子书 ¥5.4

图书简介

数理逻辑基本上有五个分支学科：逻辑演算、证明论、公理集合论、递归论和模型论。其中逻辑演算是最基础的部分，它是数理逻辑中逻辑方面的最主要的内容，或者说，它是学习和研究其他分支学科的基础理论。本书主要介绍古典逻辑演算的公理系统和自然推演系统，最后简要介绍一些非古典逻辑演算系统。

展开

作者简介

展开

图书目录

本书视频 参考文献 本书图表

相关推荐

相关词

请支付
×
元
提示：您即将购买的内容资源仅支持在线阅读，不支持下载！
您所在的机构：，暂无该资源访问权限！ 请联系服务电话：010-84083679 开通权限，或者直接付费购买。

当前账户可用余额 元

余额不足，请先充值或选择其他支付方式

请选择感兴趣的分类
选好了，开始浏览
以后再选择
售前咨询：010-84083679 刘老师，张老师
售后服务：010-84083679 张老师
95133307@qq.com
北京西城区鼓楼西大街甲158号

快速链接

版权所有：中国社会科学出版社 京ICP备05032912号-4 京公网安备11010202010100号

×
推荐购买
×
手机注册 邮箱注册
获取短信验证码
 我已阅读并接受《中国社会科学文库用户协议》

已有账号，返回登录

×
账号登录 一键登录
忘记密码?

没有账号，快速注册

×
手机找回 邮箱找回
获取短信验证码

返回登录

引文

×
GB/T 7714-2015 格式引文
刘壮虎.逻辑演算[M].北京：中国社会科学出版社,1993
复制
MLA 格式引文
刘壮虎.逻辑演算.北京,中国社会科学出版社:1993E-book.
复制
APA 格式引文
刘壮虎(1993).逻辑演算.北京：中国社会科学出版社
复制
×
错误反馈