外图天猫直营店
馆配数据采访
客户服务
欢迎进入图书馆读者荐购服务平台! 图书馆读者
登录
图书馆单位
注册
首页
公司介绍
新书资讯
书单推荐
中图法分类
出版社分类
采访数据下载
使用指南
联系我们
关于我们
平 台 介 绍
读者荐购指南
图书馆使用指南
联 系 我 们
新书资讯
·二十四节气|处暑
·二十四节气|立秋
·二十四节气|大暑
·二十四节气|夏至
·科学出版社精品典藏
·清华大学出版社—2024年度好书
·二十四节气 | 立春
·二十四节气│大寒
新书推荐
·《中国经济学(2025年第2辑总第14
·《高速阅读法:用学到的知识改变
·《行为博弈》
·《神经网络设计与应用》
·《精准落实》
·《新生物学本质主义研究》
·《赏文物话中医》
·《把热爱变成事业》
数理逻辑(新编21世纪哲学系列教材;中国人民大学“十三五”规划教材—特色教材)
定 价:58 元
丛书名:新编21世纪哲学系列教材;中国人民大学“十三五”规划教材—特色教材
作者:余俊伟 赵晓玉 裘江杰 张立英
出版时间:2020/8/1
ISBN:9787300284392
出 版 社:中国人民大学出版社
中图法分类:
O141
页码:384
纸张:
版次:1
开本:16
商品库位:
9
7
2
8
8
7
4
3
3
0
9
0
2
内容简介
主要内容涵盖数理逻辑的历史起源、命题逻辑语言、主要系统及其元性质、谓词逻辑语言、主要系统及其元性质、逻辑在数学与哲学中的运用(包括不完全性定理及技术发展过程中衍生的语言分析技术)
你还可能感兴趣
数学家用的数理逻辑教程 第2版
数理逻辑引论(高等学校理工科数学类规划教材)
数理逻辑
逻辑迷宫
实定理的复证明=Comples Proofs of Real Theorems:英文
我要评论
您的姓名
验证码:
留言内容