Ideas in the epsilon substitution method for $\Pi^{0}_{1}$-FIX
Bibliographic Information
- Title
- Ideas in the epsilon substitution method for $\Pi^{0}_{1}$-FIX
- Author
- T. Arai
Journal
-
- Annals of Pure and Applied Logic vol. 136
-
Annals of Pure and Applied Logic vol. 136 3-21, 2005
- Tweet
Details
-
- CRID
- 1010282257471704073
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN
