O000424 原始递归算术
出处:按学科分类—综合性图书 湖北人民出版社《中国图书大辞典:1949-1992第12册数理科学和化学、生物科学》第44页(207字)
沈百英着。
华东化工学院出版社1990年10月版。68万字。共23章。系统地介绍递归算术的基本概念。内容包括原始递归算术的各种公理系统、初等算术算子、原始递归式的加强、配对函数的一般构成、数论函数的逆函数、各种高等规则、可构造发展的初等算术、算术的不完备性定理等。全书以递归思想贯穿始终。
总结并发展了国内外学者近几年来的研究成果,其中很多重要结果系第一次公开发表。
上一篇:O000422 模型论导引
下一篇:O000426 集合论导引