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

Access this Article

Search this Article

Author

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

Bibliographic Information

Title

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

Other Title

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

Author

新井, 敏康

Author(Another name)

アライ, トシヤス

University

筑波大学

Types of degree

理学博士

Grant ID

博甲第428号

Degree year

1987-03-25

Note and Description

博士論文

1986

【要旨】

Table of Contents

  1. 目次 (5コマ目)
2access

preview

Codes

  • NII Article ID (NAID)
    500000058922
  • NII Author ID (NRID)
    • 8000000059076
  • DOI(NDL)
  • Text Lang
    • jpn
  • NDLBibID
    • 000000223236
  • Source
    • Institutional Repository
    • NDL ONLINE
    • NDL Digital Collections

Export

Page Top