论文信息 - Probleme der Hilbertschen Theorie der höheren Stufen von rekursiven Funktionen - 字舞流文

Probleme der Hilbertschen Theorie der höheren Stufen von rekursiven Funktionen

Rózsa Péter | R. Peter

[1] R. Peter,et al. Über die mehrfache Rekursion , 1937 .

[2] R. Peter,et al. Über den Zusammenhang der verschiedenen Begriffe der rekursiven Funktion , 1935 .

[3] D. Hilbert. Über das Unendliche , 1926 .

[4] W. Ackermann. Zum Hilbertschen Aufbau der reellen Zahlen , 1928 .

[5] A. Church. A Set of Postulates for the Foundation of Logic , 1932 .

[6] Rozsa Peter,et al. Zusammenhang der mehrfachen und transfiniten Rekursionen , 1950, Journal of Symbolic Logic.