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