証明論とその周辺 : RIMS共同研究(公開型)

Author(s)

• 田中, 義人 タナカ, ヨシヒト
• 京都大学数理解析研究所 キョウト ダイガク スウリ カイセキ ケンキュウショ

Bibliographic Information

証明論とその周辺 : RIMS共同研究(公開型)

（数理解析研究所講究録, 2150）

京都大学数理解析研究所, 2020.4

Other Title

Proof theory and related topics : December 24-26, 2019

Title Transcription

ショウメイロン ト ソノ シュウヘン : RIMS キョウドウ ケンキュウ コウカイガタ

Note

タイトルは表紙による

RIMS共同研究(公開型)報告集: 2019年12月24日-12月26日. 研究代表者: 田中義人

参考文献: 各論文末

Details

• NCID: BB31025630
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpneng
• Place of Publication: [京都]
• Pages/Volumes: 89p
• Size: 26cm
• Parent Bibliography ID:
  • BN06637050