第30届全国图书交易博览会官网
欢迎进入第30届全国图书交易博览会执委会! 图书馆单位会员
注册
图书馆读者/馆员
登录
首页
平台介绍
中图法目录
出版社目录
拟出版书目
基教幼教目录
数字资源目录
书单推荐
使用指南
关于我们
平 台 介 绍
使 用 指 南
联 系 我 们
书单推荐
更多
·二十四节气|立秋
·二十四节气|大暑
·二十四节气|夏至
·科学出版社精品典藏
·清华大学出版社—2024年度好
·二十四节气 | 立春
·二十四节气│大寒
·二十四节气│小寒
新书推荐
更多
·洞见真知:工业数据安全管理
·元宇宙解密
·卒中患者静脉血栓防控与护理
·古代中国的24小时
·元文类
·赢在沟通
·AI数字后期:Stable Diffusi
·今晚,睡个好觉
命题逻辑基础教程
定 价:25 元
作者:梁真著
出版时间:2023/11/1
ISBN:9787569108033
出 版 社:贵州大学出版社
中图法分类:
O141
页码:159页
纸张:
版次:1
开本:21cm
9
7
1
8
0
7
8
5
0
6
3
9
3
读者对象
:数理学相关专业人员
内容简介
本书内容包括:引言、命题逻辑的语言和语义、真值树、自然演绎推理系统、命题逻辑的完全性。
你还可能感兴趣
数理逻辑:证明及其限度(第二版)(逻辑与形而上学教科书系列)
数理逻辑(中国高等学校计算机科学与技术专业(应用型)规划教材)
数理逻辑的思想与方法(第二版)
塔斯基定理与真理论悖论
数理逻辑(第2版)