暂无分享,去创建一个
Jürgen Hauck
[1] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .