A theorem on the second-order arithmetic with the $\omega$ -rule

DOI Web Site

書誌事項

タイトル別名
  • A theorem on the second-order arithmetic with the ω-rule
  • A theorem on the second-order arithmetic with the オメガ-rule

この論文をさがす

収録刊行物

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ