O000424　原始递归算术

出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第12册数理科学和化学、生物科学》第44页（207字）

沈百英着。华东化工学院出版社1990年10月版。68万字。共23章。系统地介绍递归算术的基本概念。内容包括原始递归算术的各种公理系统、初等算术算子、原始递归式的加强、配对函数的一般构成、数论函数的逆函数、各种高等规则、可构造发展的初等算术、算术的不完备性定理等。全书以递归思想贯穿始终。总结并发展了国内外学者近几年来的研究成果，其中很多重要结果系第一次公开发表。