A theorem on the second-order arithmetic with the ω-rule

Bibliographic Information

Other Title
  • A theorem on the second-order arithmetic with the オメガ-rule
  • A theorem on the second-order arithmetic with the $\omega$ -rule

Search this article

Journal

Details 詳細情報について

Report a problem

Back to top