数理逻辑PDF电子书下载

第一章 叙说 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