大拱桥--暨南大学学生门户 » 图书馆 » 数理逻辑(符号逻辑) » 数理逻辑导引
名称 数理逻辑导引
索引号 O141/903
分类号 O141
O141(数理逻辑(符号逻辑))
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者
出版社 北京 : 中国社会科学出版社, 1990
ISBN 7-5004-0203-1
页数 326页 ; 21cm
价格 CNY4.40
标签
简介
注解 本书主要讲述数理逻辑的基础部分，即命题逻辑和一阶谓词逻辑・都是从语义论到语形论，讨论它们的元逻辑性质・
作者简介

著名逻辑学家

书籍简介

主要讲述命题逻辑和一阶谓词逻辑。