返回首页 联系帮助
更多数理化文化科学教育体育文学环境安全生物社会科学经济自然科学航空航天艺术语言文字马列毛邓综合图书其他书籍外文
出版时间:
至
大约有2,000项符合查询结果项。(搜索耗时:0.0256秒)
为您推荐: 数学真美妙小学一二三四五六年级数学课外趣味读物思维训练123456 2024版小白鸥基础知识大全手册语文数学英语小白欧小升初总复习强化训练与初中衔接一二三四五六年级人教版作文古诗词听力单词 新版dk植物大百科 写给孩子的通识百科全书中小学生自然科普读物一二三四五六年级 3年攻克小学数学全国通用版教辅书小学生每日一练练习册一二三四五六年级适用小升初学习训练何德耀著 时光学每日优美句子积累大全一二三四五六年级作文书素材小学生专用好词好句好段字帖摘抄本 2021春木头马口算小状元一二三四五六年级上下册人教版
本书是数理逻辑的有名经典著作之一,内容包括四章:第一章为命题演算,介绍基本逻辑联结词及其各种性质,并就命题演算而给出一个公理体系,证明其不矛盾性,完备性及互相独立性.第二章为类演算,兼讨论如何从类演算......