共 6 条
[1]
Davis Martin., 1965, UNDECIDABLE BASIC PA
[2]
Hoare C. A. R., 1972, Computing Surveys, V4, P169, DOI 10.1145/356603.356606
[4]
TURING A, 1983, ENIGMA
[5]
Turing AM, 1937, P LOND MATH SOC, V43, P544