共 4 条
[1]
DAVIS M, 1966, AUTOMATA THEORY
[2]
DUMMETT M, 1979, P ARISTOTELIAN SOC
[3]
DUMMETT M, TRUTH OTHER ENIGMAS, P225
[4]
SHEPHERDSON JC, 1967, AUTOMATON THEORY LEA