本书主要讲述数理逻辑的基础部分,即命题逻辑和一阶谓词逻逻。两部分的论述都是从语义论到语形论,建立严格的公理系统,最后讨论它们的元逻辑性质。对于人们学习中常见的难点,书中都作出了详尽分析。作者除对基本逻辑系统的介绍外,还特别注意对其他公理系统、自然推理系统和表列方法的概要介绍。集合论和模型论也有专节讲述。全书开篇给出阅读本书的若干预备知识。这是一部供文、理专业共同使用的专著。
暂无简介
用户未登录无权限查看参考文献
作者:郭泽深
弗雷格逻辑哲学与现代数理逻辑思潮
作者:沈昊驹
西方经济伦理的实证研究:基于数理...
作者:杜国平
中国表示法及其逻辑研究
作者:刘邦凡
逻辑、知识与认知逻辑
作者:[德]黑格尔 黄昀 ...
小逻辑(一)
作者:孟捷 冯金华
劳动价值新论:理论和数理的研究
作者:王欢
从资本逻辑到符号逻辑
作者:程橙
形象、思维与推理:存在图逻辑
余额不足,请先充值或选择其他支付方式
账户:admin,可用余额 元
没有账号,快速注册
请使用手机登录默认注册账号
已有账号,返回登录
返回登录