《数理逻辑》求取 ⇩

第一章叙说1

1．连言、选言和否言1

2．如言5

3．重复组合10

4．用到与提到15

5．讲到叙说的叙说20

6．拟引号29

7．括号与点34

8．化归到三个始原连号39

9．化归到一个始原连词44

10．套套言49

11．套套形式选56

第二章量辨65

12．量词（号）65

13．叙式73

14．约束，自由，闭包78

15．量辨设基83

16．定理89

17．後视定理93

18．双如言的代换102

19．存在量辨109

20．量号的分配113

21．字母变改119

第三章词子127

22．类和分子127

23．逻辑叙式132

24．抽作137

25．等同145

26．再说抽作152

27．描述词和名称159

第四章扩大的类理论167

28．阶层化167

29．其他分子关系设基173

30．等同代换181

31．变元代换186

32．其他後结192

33．逻辑积，和，余类198

34．包含204

35．单类210

第五章关系219

36．对子和关系219

37．关系的抽作226

38．逆（关系），像，相对积234

39．祖宗（关系）242

40．函应250

41．函应的抽作255

42．当做关系的等同和分子关系260

第六章数267

43．零，一，後元267

44．自然数273

45．计数集合279

46．有限和无限284

47．关系的巾288

48．算术和，积，巾294

49．常见的算术等同298

50．比数303

51．实数308

52．其他推广314

第七章语法321

53．形式性321

54．语法的始原项目326

55．原基语法330

56．定义出的叙式和架式335

57．定义出的量辨设基339

58．定义出的定理343

59．自身应用的原基语法347

60．不完备性355

附录363

定理对後视定理363

定义一览表367

定理及後视定理一览表371

参考书目379

中英索引393

英中人名索引409

英中论题索引413

本书译者著作一览表427