共 7 条
[3]
MARTIN DA, 1974, 2 THEOREMS TURING DE
[4]
Moschovakis Y., 1974, STUDIES LOGIC FDN MA
[5]
Rogers Jr. H., 1967, MCGRAW HILL SERIES H
[6]
Sacks Gerald E, 1963, DEGREES UNSOLVABILIT
[7]
Shoenfield J.R., 1967, MATH LOGIC, V21