共 42 条
[2]
ANTI-MITOTIC RECURSIVELY-ENUMERABLE SETS
[J].
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK,
1985, 31 (05)
:461-477
[3]
AMBOSSPIES K, IN PRESS J SYMBOLIC
[4]
AMBOSSPIES K, IN PRESS RECURSIVELY
[6]
BALDWIN J, 1984, ANN PURE APPL LOGIC, V26, P27
[7]
COOPER SB, 1974, THEOREM CEM