共 54 条
[21]
MOSCHOVAKIS YN, 1965, COMPOS MATH, V17, P40
[25]
Rabin M.O, 1957, ANN MATH STUD, VIII, P147
[26]
RECURSIVE REAL NUMBERS
[J].
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY,
1954, 5 (05)
:784-791
[27]
Richter M. J., 1971, PREFERENCES UTILITY, P29
[28]
Robinson R. M., 1951, J SYMBOLIC LOGIC, V16, P280
[29]
Rogers Jr. H., 1967, MCGRAW HILL SERIES H
[30]
Shapiro Normann, 1956, T AM MATH SOC, V82, P281, DOI [10.1090/S0002-9947-1956-0085187-3, DOI 10.1090/S0002-9947-1956-0085187-3]