集论与逻辑：面向计算机科学

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

暂缺《集论与逻辑：面向计算机科学》作者简介

序言
第一篇 基础集论
第一章 集合的基本关系与运算
1 集合的表示：内涵与处延
2 集合的运算、构集公理
第二章 关系与函数
1 基本概念、关系的运算
……
第三章 有限集与无限集
1 无穷公理与自然数、归纳与递归
……
第二篇 经典逻辑
第四章 引论
第五章 命题逻辑（PL）
1 PL的句（语）法
2 语义学——PL公式之语义、PL模型
……
第六章 一阶逻辑（FO）
1 自然引入
2 一阶语言与一阶公式
……