×

广义递归理论2。1977年奥斯陆研讨会论文集。 (英语) Zbl 0453.03047号

逻辑与数学基础研究,第94卷。阿姆斯特丹-纽约-牛津:North-Holland Publishing Company。八、 466页41.50美元;英国国防部。95.00 (1978).

MSC公司:

03D60年 序数、容许集等的可计算性和递归理论。
03D75号 抽象公理可计算性和递归理论
03D65年 高级类型和集合递归理论
03-06 与数理逻辑和基础有关的会议记录、会议、收藏等
03C55号 集合理论模型理论
03E15年 描述性集合论
03日70 归纳可定义性
03D20日 递归函数和关系,子递归层次结构
03D25号 递归(可计算)可枚举集和度
03E99型 集合论