Proof-theoretic investigations of iterated hyperjumps by Takeuti’s reduction method 竹内の還元法による繰り返されたハイパージャンプの証明論的研究

この論文をさがす

著者

    • 新井, 敏康 アライ, トシヤス

書誌事項

タイトル

Proof-theoretic investigations of iterated hyperjumps by Takeuti’s reduction method

タイトル別名

竹内の還元法による繰り返されたハイパージャンプの証明論的研究

著者名

新井, 敏康

著者別名

アライ, トシヤス

学位授与大学

筑波大学

取得学位

理学博士

学位授与番号

博甲第428号

学位授与年月日

1987-03-25

注記・抄録

博士論文

各種コード

  • NII論文ID(NAID)
    500000058922
  • NII著者ID(NRID)
    • 8000000059076
  • NDL書誌ID
    • 000000223236
  • データ提供元
    • NDL-OPAC
ページトップへ