|
REFERENCES
|
W. Ackermann, Zum Hilbertschen Aufbau der reellen Zahlen, Math. Ann. 99 (1928), 118-133.
R. C. Buck, Mathematical induction and recursive definitions, Amer. Math. Monthly, 70 (1963), 128-135.
Y. Sundblad, The Ackermann function. A theoretical, computational, and formula manipulative study, Nordisk Tidskr. Informationsbehandling (BIT) 11 (1971), 107-119.
|