知行图书专营店
馆配数据采访
教材巡展网上行
在线客服
欢迎进入网上馆配会荐购选采服务平台 图书馆单位会员
注册
图书馆读者/馆员
登录
首页
中图法目录
出版社目录
出版商书目
拟出版书目
基教幼教目录
数字资源目录
平台使用指南
平台介绍
关于我们
平 台 介 绍
读者荐购指南
图书馆使用指南
联 系 我 们
书单推荐
·向阳生长 不负春光│春分节气
·电子工业出版社社科类推荐书
·电子工业出版社科技类推荐书
·电子工业出版社经管类推荐书
·植树节荐读书目
·国际劳动妇女节荐读书目
·知识产权出版社重点推荐书目
·人民交通出版社重点推荐书目
新书推荐
·一本书读懂30部社会学名著
·通信电子战工程
·DK时间线上的全球史
·共享现实:是什么让我们成为
·陈光中口述自传
·见证逆潮 全球资产逻辑大变局
·AI绘画全面精通:软件平台+脚
·高通量多尺度材料计算和机器
数理逻辑(新编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
内容简介
主要内容涵盖数理逻辑的历史起源、命题逻辑语言、主要系统及其元性质、谓词逻辑语言、主要系统及其元性质、逻辑在数学与哲学中的运用(包括不完全性定理及技术发展过程中衍生的语言分析技术)
你还可能感兴趣
非经典数理逻辑与近似推理(第二版)
中国表示法及其逻辑研究
简明数理逻辑
符号逻辑:语法、语义和证明
数理逻辑与集合论精要与题解
我要评论
您的姓名
验证码:
留言内容