共 4 条
[3]
Pour-El M.B., 1989, Perspectives in Mathematical Logic
[4]
Sato Y, 1998, SPR S DISC MATH, P352