Ideas in the epsilon substitution method for $\Pi^{0}_{1}$-FIX
書誌事項
- タイトル
- Ideas in the epsilon substitution method for $\Pi^{0}_{1}$-FIX
- 著者
- T. Arai
収録刊行物
-
- Annals of Pure and Applied Logic vol. 136
-
Annals of Pure and Applied Logic vol. 136 3-21, 2005
- Tweet
詳細情報
-
- CRID
- 1010282257471704073
-
- 資料種別
- journal article
-
- データソース種別
-
- KAKEN