共 4 条
[1]
MCCARTHY J, RECURSIVE FUNCTIONS
[3]
ROBINSON RM, 1950, B AM MATH SOC, V53, P925
[4]
SHAW JC, 1958, 1958 P WEST JOINT CO