数理逻辑基础 下PDF电子书下载

第三章 重言式 229

30P的重言式系统 230

31P*等的重言式系统 250

32非古典命题逻辑的重言式系统 270

33谓词逻辑的重言式系统 285

34重言式系统和自然推理系统的关系 291

第四章 可靠性和完备性 300

40赋值 300

41恒真性和可真性 310

42可靠性和协调性 319

43命题逻辑的完备性 322

44谓词逻辑的完备性（一） 327

45谓词逻辑的完备性（二） 336

46带等词的谓词逻辑的完备性 342

47紧致性定理和勒文海姆－斯柯伦定理 349

48独立性 350

第五章 形式数学系统 365

50形式数学系统 365

51初等代数 367

52自然数 373

53哥德尔不完备性定理 382

54集 385

55实数 393

56应用重言式系统 399

57形式符号定义 401

附录（一）命题量词 409

附录（二）斜形证明 412

符号汇编（下册） 429

参考文献 432