外图天猫直营店
馆配数据采访
客户服务
欢迎进入图书馆读者荐购服务平台! 图书馆读者
登录
图书馆单位
注册
首页
公司介绍
新书资讯
书单推荐
中图法分类
出版社分类
采访数据下载
使用指南
联系我们
关于我们
平 台 介 绍
读者荐购指南
图书馆使用指南
联 系 我 们
新书资讯
·科学出版社精品典藏
·清华大学出版社—2024年度好书
·二十四节气 | 立春
·二十四节气│大寒
·二十四节气│小寒
·二十四节气 | 冬至
·二十四节气 | 大雪
·预售 · 年度重磅报告 | 2024中国
新书推荐
·机械设计手册(第七版)
·山东馆藏文物精品大系·青铜器卷
·ChatGPT+AI文案写作实战108招
·数字文化的崛起
·一本书读懂30部社会学名著
·通信电子战工程
·DK时间线上的全球史
·共享现实:是什么让我们成为人类
命题逻辑基础教程
定 价:25 元
作者:梁真著
出版时间:2023/11/1
ISBN:9787569108033
出 版 社:贵州大学出版社
中图法分类:
O141
页码:159页
纸张:
版次:1
开本:21cm
商品库位:
9
7
1
8
0
7
8
5
0
6
3
9
3
读者对象
:数理学相关专业人员
内容简介
本书内容包括:引言、命题逻辑的语言和语义、真值树、自然演绎推理系统、命题逻辑的完全性。
你还可能感兴趣
数理逻辑(第2版)
清华大学计算机系列教材:数理逻辑与集合论(第2版)
数理逻辑(中国高等学校计算机科学与技术专业(应用型)规划教材)
数理逻辑:基本原理与形式演算(第二版)
GRE&GMAT逻辑阅读法
我要评论
您的姓名
验证码:
留言内容