收藏 纠错 引文

数理逻辑导引

ISBN：7-5004-0203-1

出版日期：1990-04

页数：333

字数：265.0千字

点击量：5595次

定价：4.40元

中图法分类：
出版单位：
中国社会科学出版社
关键词：
专题：
PDF试读 网页试读 立即荐购
购买电子书 ¥2.64

图书简介

本书主要讲述数理逻辑的基础部分，即命题逻辑和一阶谓词逻逻。两部分的论述都是从语义论到语形论，建立严格的公理系统，最后讨论它们的元逻辑性质。对于人们学习中常见的难点，书中都作出了详尽分析。作者除对基本逻辑系统的介绍外，还特别注意对其他公理系统、自然推理系统和表列方法的概要介绍。集合论和模型论也有专节讲述。全书开篇给出阅读本书的若干预备知识。这是一部供文、理专业共同使用的专著。

展开

作者简介

展开

图书目录

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

相关推荐

更多 >>知识图谱

登录即可查看详细

相关词

请支付
×
元
提示：您即将购买的内容资源仅支持在线阅读，不支持下载！

当前账户可用余额 元

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

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

快速链接

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

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

已有账号，返回登录

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

没有账号，快速注册

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

返回登录

引文

×
GB/T 7714-2015 格式引文
张尚水.数理逻辑导引[M].北京：中国社会科学出版社,1990
复制
MLA 格式引文
张尚水.数理逻辑导引.北京,中国社会科学出版社:1990E-book.
复制
APA 格式引文
张尚水(1990).数理逻辑导引.北京：中国社会科学出版社
复制
×
错误反馈