Unique existence and computability in constructive reverse mathematics
-
- 石原 哉
- 北陸先端科学技術大学院大学
書誌事項
- タイトル
- Unique existence and computability in constructive reverse mathematics
- 著者
- Hajime Ishihara
収録刊行物
-
- Lect. Notes Comput. Sci. (印刷中)
-
Lect. Notes Comput. Sci. (印刷中)