O000424　原始递归算术

---

沈百英著。

华东化工学院出版社1990年10月版。68万字。共23章。

系统地介绍递归算术的基本概念。内容包括原始递归算术的各种公理系统、初等算术算子、原始递归式的加强、配对函数的一般构成、数论函数的逆函数、各种高等规则、可构造发展的初等算术、算术的不完备性定理等。全书以递归思想贯穿始终。

总结并发展了国内外学者近几年来的研究成果，其中很多重要结果系第一次公开发表。