数理逻辑导引

1、General Information书名1986.11 数理逻辑作者A.G.汉密尔顿页数251SS号10230205出版日期1986年11月第1版前言目录第一章 非形式的命题演算 1.1命题和联结词 1.2 真值函数和真值表 1.3 运算。

2、General Information书名1990.09 离散数学之三 数理逻辑作者汪芳庭页数273SS号10098465出版日期1990年09月第1版前言目录引言0 预备知识 0.1 集论基本概念 0.2 Peano自然数公理 0.3 可。

3、General Information书名1986.11 数理逻辑作者A.G.汉密尔顿著页数253SS号11831100出版日期1986.11前言目录第一章 非形式的命题演算 11 命题和联结词 12 真值函数和真值表 13 运算和代入规则。

4、General Information书名2001 数理逻辑教程作者陈慕泽著页数337SS号10907682出版日期2001年前言目录引言 一什么是逻辑 1逻辑推理推理的有效性及其判定 二什么是数理逻辑 2逻辑和语言语言的三个要素自然语言符。

5、General Information书名1982.06 数理逻辑引论作者王宪钧页数372SS号10230198出版日期1982年06月第1版前言目录第一篇 命题逻辑 第一章 真值联结词 真值函项 重言式 一 复合命题 复合命题的真假 二 。

6、General Information书名1981.01 数理逻辑基础上册作者胡世华 陆钟万页数228SS号10186618出版日期1981年01月第1版前言目录使用说明绪论 00 数理逻辑 01 逻辑演算一 02 逻辑演算二 03 集的基。

7、General Information书名1991.12 数理逻辑引论作者孙希文编著页数237SS号10833076出版日期1991年12月第1版前言目录目 录 第一章 引 论 1.1 数理逻辑的简单历史及主要内容 1.2公理系统与形式系统。

8、General Information书名2004.04 互逆主义数理逻辑作者周训伟著页数398SS号11262118出版日期2004年04月第1版前言目录第一篇 互逆主义逻辑演算 第一章 项与命题的形成周坐标系层次层次集合 第一节 逻辑运。

9、General Information书名1993.12 研究生教材 数理逻辑作者王兵山 张强 李舟军页数243SS号10201401出版日期1993年12月第1版前言目录第一章 形式系统第二章 命题逻辑 21 命题逻辑形式系统 22 的定。

10、General Information书名1958.07 数理逻辑基础作者希尔柏脱 阿克曼著 莫绍揆译页数200SS号10347230出版日期1958年07月第1版前言目录译者的话俄译者序言原著者第一二三版序导言第一章 命题演算 1.基本逻。

11、General Information书名1990.04 数理逻辑导引作者张尚水页数326SS号10201403出版日期1990年04月第1版前言目录绪论 1 数理逻辑 2 预备知识第一章 命题逻辑 1 复合命题 联结词 2 真值联结词 真。