共 29 条
[1]
[Anonymous], [No title captured]
[5]
Church A., 1940, B AM MATH SOC, V46, P254
[6]
Gacs P., 1974, SOV MATH DOKL, V15, P1477
[7]
Kleene S. C., 1967, MATH LOGIC
[8]
KLEENE SC, 1965, F INTUITIONISTIC MAT
[9]
Kolmogorov A., 1965, PROBLEMS INFORM TRAN, V1
[10]
KOLMOGOROV AN, 1968, USPEKHI MAT NAUK, V2, P201