中教金典
中教图书商城
馆配数据采访
教材巡展网上行
在线客服
欢迎进入网上馆配会荐购选采服务平台 图书馆单位会员
注册
图书馆读者/馆员
登录
首页
平台现货书目
中图法目录
出版社目录
拟出版书目
基教幼教目录
数字资源目录
平台使用指南
平台介绍
书单推荐
更多
·二十四节气|处暑
·二十四节气|立秋
·二十四节气|大暑
·二十四节气|夏至
·科学出版社精品典藏
·清华大学出版社—2024年度好
·二十四节气 | 立春
·二十四节气│大寒
新书推荐
更多
·《中国经济学(2025年第2辑总
·《高速阅读法:用学到的知识
·《行为博弈》
·《神经网络设计与应用》
·《精准落实》
·《新生物学本质主义研究》
·《赏文物话中医》
·《把热爱变成事业》
数理逻辑(新编21世纪哲学系列教材;中国人民大学“十三五”规划教材—特色教材)
定 价:58 元
丛书名:新编21世纪哲学系列教材;中国人民大学“十三五”规划教材—特色教材
当前图书已被 9 所学校荐购过!
查看明细
作者:余俊伟 赵晓玉 裘江杰 张立英
出版时间:2020/8/1
ISBN:9787300284392
出 版 社:中国人民大学出版社
中图法分类:
O141
页码:384
纸张:
版次:1
开本:16
9
7
2
8
8
7
4
3
3
0
9
0
2
内容简介
主要内容涵盖数理逻辑的历史起源、命题逻辑语言、主要系统及其元性质、谓词逻辑语言、主要系统及其元性质、逻辑在数学与哲学中的运用(包括不完全性定理及技术发展过程中衍生的语言分析技术)
你还可能感兴趣
真相永远只有一个:跟柯南学逻辑推理
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理哲学导论
数理逻辑教程
机器证明的逻辑推定
数理逻辑的思想与方法(第二版)
我要评论
您的姓名
验证码:
留言内容