暂无分享,去创建一个
S. Kleene
[1] R. Peter,et al. Über den Zusammenhang der verschiedenen Begriffe der rekursiven Funktion , 1935 .
[2] K. Gödel. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .
[3] W. Ackermann. Zum Hilbertschen Aufbau der reellen Zahlen , 1928 .