共 25 条
[1]
ARBIB M, 1965, P AM MATH SOC, V16, P442
[2]
ARBIB MA, THEORIES ABSTRACT AU
[7]
DAVIS M, 1962, P S PURE MATHEMATICS, V5, P135
[8]
Davis M., 1958, COMPUTABILITY UNSOLV
[9]
DAVIS M, 1963, P S MATHEMATICAL THE, P15
[10]
Davis Martin., 1965, UNDECIDABLE BASIC PA