1 论人造的语言&胡世华 1
2 命题演算之所指&胡世华 21
3 再现算术新系统及其逻辑常词——再现算术RA系统的构造&胡世华 43
4 理论对象&胡世华 53
5 m-VALUED SUB-SYSTEM OF(m+n)-VALUED PROPOSITIONAL CALCULUS&TZU-HUA HOO 60
6 一个?0值命题演算的构造&胡世华 65
7 四值命题演算与四色问题&胡世华 陈强业 80
8 ?0值命题演算的有穷值的具有函数完全性的子系统&胡世华 83
9 一种递归式的原始递归性&胡世华 96
10 数理逻辑是应该重视的一门科学&胡世华 104
11 电子计算机及一些有关的理论问题&胡世华 107
12 数理逻辑的性质、特点、作用及其成果的哲学意义&胡世华 吴光磊 122
13 控制论中的哲学问题&胡世华 123
14 数理逻辑的基本特征与科学意义&胡世华 124
15 关于古典演绎逻辑的几个问题&胡世华 154
16 一般递归函数的范式&胡世华 陆钟万 167
17 高速度发展我国数理逻辑事业——在中国数学会第二次全国代表大会上的发言&胡世华 180
18 关于开展控制论问题研究的意见&胡世华 193
19 讯息加工和计算机的数学理论&胡世华 196
20 关于计算机理论和讯息加工机器的研究的一些意见&胡世华 198
21 略论数理逻辑的发生、发展和现状&胡世华 204
22 递归算法论&胡世华 213
23 核函数与递归函数的范式&胡世华 218
24 电子计算机&胡世华 220
25 递归算法&胡世华 223
26 核函数&胡世华 陆钟万 244
27 递归函数的范式&胡世华 253
28 加法和乘法&胡世华 黄祖良 259
29 对于数理逻辑和计算技术的一些看法(代序)&胡世华 266
30 多种类递归算法&胡世华 271
31 古典谓词演算&胡世华 283
32 控制论的发展&胡世华 324
33 关于原始递归性&胡世华 杨东屏 332
34 如何描述程序语言&胡世华 343
35 作为现代逻辑学的数理逻辑——在逻辑学讨论会上的讲话&胡世华 368
36 关于我国计算机事业的发展问题——1979年计算机学会年会上的书面发言&胡世华 373
37 质和量的对立统一与数学&胡世华 376
38 数学、数学基础理论的发展与人和计算机的分工协同问题&胡世华 384
39 自然辩证法的研究范围和社会责任&胡世华 390
40 胡世华同志三月十五日在业务工作会议上的发言 391
41 数理逻辑基础&胡世华 393
《数理逻辑基础》出版说明 395
绪论章 396
第一章 演绎逻辑的基本规则 420
第二章 逻辑演算的系统特征 487
第三章 数学底逻辑 541
第四章 重言式 621
第五章 一致性与完全性 638
42 计算机对数学的影响&胡世华 660
43 计算所的调整问题&胡世华 665
44 数理哲学中的形式主义和柏拉图主义&胡世华 670
45 关于计算所体制调整的意见&胡世华 678
46 关于发展我国计算机事业的意见&胡世华 685
47 对科学和科学研究的一些看法&胡世华 687
48 计算机的分“代”和我国的“对策”问题&胡世华 690
49 对哲学工作的意见&胡世华 694
50 数理逻辑&胡世华 697
51 数学基础&胡世华 704
52 信息时代的数学&胡世华 709
53 关于数学哲学的研究&张凭 张祖贵 孙小礼 717
54 递归结构&胡世华 721
55 递归结构理论的形式系统和语句的可判定性&胡世华 741
56 数学问题的可解决性&胡世华 756
57 数学与计算机科学&胡世华 766
58 含任意m-值命题演算系统的统一结构&胡世华 王驹 程庆文 767
后记 776