共 13 条
[11]
Naur P., 1963, COMMUN ACM, V6, P1, DOI DOI 10.1145/366193.366201
[12]
PAUL M, 1962, P S SYMBOLIC LANGUAG
[13]
Post E., 1947, J SYMBOLIC LOGIC, V12, P1, DOI DOI 10.2307/2267170