《集合，逻辑与设基理论》求取 ⇩

第一章集合与关系1

1.1．康托的集合概念2

1.2．直觉集合论的基础4

1.3．包含11

1.4．集合运算14

1.5．集合代数19

1.6．关系28

1.7．等应关系35

1.8．函应40

1.9．合成函应与反函应45

1.10．次序关系51

第二章逻辑61

2.1．语句演算——语句连词62

2.2．语句演算——真值表66

2.3．语句演算——有效性73

2.4．语句演算——有效归结85

2.5．语句演算——应用95

2.6．述语演算——日用语言的翻译101

2.7．述词演算——一个塑造110

2.8．述词演算——有效性116

2.9．述词演算——有效归结126

3.1．设基理论的概念133

第三章设基理论133

3.2．非形式设基138

3.3．在集合论系络内的非形式理论144

3.4．非形式理论的其它特色147

3.5．形式设基理论157

3.6．当形式设基理论的语句演算159

3.7．当形式设基理论的述词演算165

3.8．一阶设基理论168

3.9．後设数学175

4.1．一布氏代数的定义183

第四章布氏代数183

4 2．一布氏代数的若干基本性质186

4.3．布氏代数理论的另一塑造190

4 4．布氏代数的相合关系196

4.5．布氏代数的表现204

4.6．当布氏代数的语句演算211

4.7．自由布氏代数212

史陶著“集合论与逻辑”一书目录217

英中名词对照223

中英名词索引231