Ideas in the epsilon substitution method for $\Pi^{0}_{1}$-FIX

書誌事項

タイトル
Ideas in the epsilon substitution method for $\Pi^{0}_{1}$-FIX
著者
T. Arai

収録刊行物

関連プロジェクト

もっと見る

詳細情報

  • CRID
    1010282257471704073
  • 資料種別
    journal article
  • データソース種別
    • KAKEN

問題の指摘

ページトップへ