图书名：集论与逻辑 7-03-011047-1 7030110471 作者：沈恩绍著

首页登录注册分类号查询汉语著者号查询 MARC解析四角代码查询在线编目

图书详情

书名: 集论与逻辑

ISBN: 7-03-011047-1

作者: 沈恩绍著

出版社: 科学出版社

出版日期: 2003

登录MARC详情

简介

本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧，对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定理这两个一阶逻辑的特征属性等。