目录 5
对于数理逻辑和计算技术的一些看法（代序） 胡世华 5
论文 11
多种类递归算法 胡世华 11
？语法及其判定、分解问题 董韫美 李开德 25
数字计算机的一个数学模型 唐稚松 37
自动机的归约、通用自动机及自动机功能的若干问题 陶仁骥 47
论形式系统理论的客观原型和科学性质 张锦文 57
叙列布尔方程 王湘浩 64
线性内动机理论 管纪文 68
关于有限域上的权函数及其在误差校正码理论中的应用 管纪文 78
有限函数类上的能行运算 陈火旺 86
偏序集上初等命题的一些可判定情况（Ⅰ） 王世强 92
原始递归算术的新系统 莫绍揆 沈百英 99
4值逻辑中的所有极大封闭集 罗铸楷 110
摘要 113
“103”机检查程序差错的一些方法 瞿兆荣 113
关于原始递归性 胡世华 杨东屏 114
图林机的逆机器 方靖东 115
素值逻辑函数的若干完全系 刘凤璞 116
K值逻辑的同余化问题 刘凤璞 118
构造性实数论中几个基本谓词在S．C．Kleene分层下所属的类型 郝克刚 120
一种具有误差调整的浮点算法 姜树桥 122
以最佳次序计算布尔表达式 孟章荣 刘金火 124
半完备亚基础系统 莫绍揆 沈百英 126
自度量Post代数（Ⅰ） 吴望名 127
三元基础原始递归算术 沈百英 129