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

書誌事項

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

(数理解析研究所講究録, 2150)

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

タイトル別名

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

タイトル読み

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

大学図書館所蔵 件 / 5

この図書・雑誌をさがす

注記

タイトルは表紙による

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

参考文献: 各論文末

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BB31025630
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    jpneng
  • 出版地
    [京都]
  • ページ数/冊数
    89p
  • 大きさ
    26cm
  • 親書誌ID
ページトップへ