共 4 条
[1]
ACKERMANN FW, 1928, MATH ANN, V93, P118
[2]
Goodstein Reuben Louis, 1954, J SYMBOLIC LOGIC, V19, P267
[3]
KLEENE SC, 1952, INTRODUCTION METAMAT
[4]
PETER R, 1961, RECURSIVE FUNCTIONE