証明論と証明活動 : RIMS共同研究(公開型)

Author(s)

• 佐々木, 克巳 ササキ, カツミ
• 京都大学数理解析研究所 キョウト ダイガク スウリ カイセキ ケンキュウショ

Bibliographic Information

証明論と証明活動 : RIMS共同研究(公開型)

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

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

Other Title

Proof theory and proving : December 25-27, 2017

Title Transcription

ショウメイロン ト ショウメイ カツドウ : RIMS キョウドウ ケンキュウ (コウカイガタ)

Note

RIMS共同研究(公開型)報告集: 2017年12月25日-12月27日. 研究代表者: 佐々木克巳

参考文献: 各論文末

Details

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