外图天猫直营店
馆配数据采访
教材巡展网上行
在线客服
欢迎进入网上馆配会荐购选采服务平台 图书馆单位会员
注册
图书馆读者/馆员
登录
首页
中图法目录
出版社目录
出版商书目
拟出版书目
基教幼教目录
数字资源目录
平台使用指南
平台介绍
关于我们
平 台 介 绍
读者荐购指南
图书馆使用指南
联 系 我 们
书单推荐
·向阳生长 不负春光│春分节气
·电子工业出版社社科类推荐书
·电子工业出版社科技类推荐书
·电子工业出版社经管类推荐书
·植树节荐读书目
·国际劳动妇女节荐读书目
·知识产权出版社重点推荐书目
·人民交通出版社重点推荐书目
新书推荐
·全域增长:从战略制定到战术
·ChatGPT职场实战指南
·B站运营大揭秘:百万Up主真想
·Python数据分析快速上手
·嵌入式Linux驱动开发实践
·AI绘画全面精通:软件平台+脚
·土星5运载火箭制造与试验记录
·"一带一路"建设"五通"进展研
数理逻辑(新编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版
高等院校哲学专业核心课程教材:数理逻辑实验教程
漫话数学归纳法(第4版)
面向计算机科学的数理逻辑 第二版
我要评论
您的姓名
验证码:
留言内容