中教金典
中教图书商城
馆配数据采访
教材巡展网上行
在线客服
欢迎进入网上馆配会荐购选采服务平台 图书馆单位会员
注册
图书馆读者/馆员
登录
首页
中图法目录
出版社目录
现货书目
拟出版书目
基教幼教目录
数字资源目录
平台使用指南
平台介绍
关于我们
平 台 介 绍
读者荐购指南
图书馆使用指南
联 系 我 们
书单推荐
·预售 · 年度重磅报告 | 202
·小暑已至 文韵悠长│小暑
·七一精品书单
·母亲节│纸短情长 告白母爱:
·五一国际劳动节│致敬每一位
·气清景明 万物皆显│清明 荐
·向阳生长 不负春光│春分节气
·电子工业出版社社科类推荐书
新书推荐
·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
读者对象
:数理学相关专业人员
内容简介
本书内容包括:引言、命题逻辑的语言和语义、真值树、自然演绎推理系统、命题逻辑的完全性。
你还可能感兴趣
塔斯基定理与真理论悖论
数理逻辑十二讲
数理逻辑引论
面向后件集的模糊推理机制与应用
数理哲学导论
我要评论
您的姓名
验证码:
留言内容