数理逻辑 冯琦

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

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

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

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

5、General Information书名1985.06 简明数理逻辑基础作者刘治旺 邵春林等页数278SS号10441897出版日期1985年06月第1版目录第一章 命题逻辑的初步讨论 1.1 命题和命题变元 1.2 命题联结词 1.3 。

6、General Information书名1981.02 数理逻辑通俗讲话作者王浩页数257SS号10186463出版日期1981年02月第1版前言目录第一章 数理逻辑一百年第二章 形式化和公理方法 21 形式系统公理系统的特殊情形 22 。

7、Ge n e r a l In f o r m a t i o n 书名1958 数理逻辑基础作者希尔柏脱 阿克曼著 莫绍揆译页数200SS号10347230出版日期1958年07月第1版前言目录译者的话俄译者序言原著者第一二三版序导言第一。

8、General Information书名1960.08 数理逻辑与控制论作者复旦大学数学系页数277SS号10526485出版日期1960年08月第1版前言目录第一篇 自动系统逻辑设计 引言 第一章接点电路的逻辑设计 1接点电路的代数 2。

9、Ge n e r a l In f o r m a t i o n 书名1980 数理逻辑初步作者莫绍揆页数172SS号10230195出版日期1980年08月第1版目录第一章 数理逻辑的由来 1 传统逻辑的不足 2 数理逻辑的兴起 3 非。

10、General Information书名1977.03 数理逻辑与集论作者陈頣昌编著页数210SS号11241339出版日期1977年03月第1版前言目录1简介2述词和复合述词3合取和析取4不可兼析取5否定p6命题和真值表7恒真命题矛盾命。

11、General Information书名1953.09 数学 第3册 三十年来的苏联数学 19171947 数学基础与数理逻辑作者雅诺夫斯卡娅著 缪朗山译页数74SS号11274701出版日期1953年09月第1版前言目录正文。