Computable Dowd-type generic oracle (abstract)
書誌事項
- タイトル
- Computable Dowd-type generic oracle (abstract)
- 著者
- Kumabe, M., Suzuki, T.
収録刊行物
-
- Bulletin of Symbolic Logic
-
Bulletin of Symbolic Logic 16 295-296, 2010