共 13 条
- [11] Soare R.I., 1982, P HERBR S LOG COLL 1, P299, DOI [10.1016/S0049-237X(08)71892-5, DOI 10.1016/S0049-237X(08)71892-5]
- [12] SOARE RI, 1985, P SYMP PURE MATH, V42, P53
- [13] A MINIMAL PAIR OF RECURSIVELY ENUMERABLE DEGREES [J]. JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) : 159 - &