联诚图书
馆配数据采访
教材巡展网上行
在线客服
欢迎进入网上馆配会荐购选采服务平台 图书馆单位会员
注册
图书馆读者/馆员
登录
首页
中图法目录
出版社目录
出版商书目
拟出版书目
基教幼教目录
数字资源目录
平台使用指南
平台介绍
关于我们
平 台 介 绍
读者荐购指南
图书馆使用指南
联 系 我 们
书单推荐
·母亲节│纸短情长 告白母爱:
·五一国际劳动节│致敬每一位
·气清景明 万物皆显│清明 荐
·向阳生长 不负春光│春分节气
·电子工业出版社社科类推荐书
·电子工业出版社科技类推荐书
·电子工业出版社经管类推荐书
·植树节荐读书目
新书推荐
·数字文化的崛起
·一本书读懂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
内容简介
主要内容涵盖数理逻辑的历史起源、命题逻辑语言、主要系统及其元性质、谓词逻辑语言、主要系统及其元性质、逻辑在数学与哲学中的运用(包括不完全性定理及技术发展过程中衍生的语言分析技术)
你还可能感兴趣
Calabi-Yau三角范畴中扭对的分类及其应用
数理逻辑引论与归结原理 (英文版)
漫话数学归纳法(第4版)
面向计算机科学的数理逻辑 第二版
数理逻辑和算法理论——计算机科学与人工智能的数学基础
我要评论
您的姓名
验证码:
留言内容