共 13 条
[1]
CASE J, 1971, ANN MATH LOGIC, V2, P419
[2]
Curry H., 1958, COMBINATORY LOGIC, V1
[3]
Davis M., 1958, COMPUTABILITY UNSOLV
[4]
FRIEDMAN H, 1971, LOGIC C 69
[5]
Kelley J.L., 1955, GEN TOPOLOGY
[6]
Myhill J., 1961, PAC J MATH, V11, P1479
[7]
Rogers Jr. H., 1967, MCGRAW HILL SERIES H
[8]
SANCHIS LE, 1977, RAIRO-INF-COMPUT SCI, V11, P329
[9]
Sanchis Luis E., 1978, NOTRE DAME J FRMAL L, V19, P405