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

Notes on use

Note (General)：: RIMS共同研究(公開型)報告集: 2017年12月25日-12月27日. 研究代表者: 佐々木克巳参考文献: 各論文末

Related materials as well as pre- and post-revision versions

Search by Bookstore

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: 証明論と証明活動 : RIMS共同研究(公開型)
Title Transcription: ショウメイロントショウメイカツドウ : RIMS キョウドウケンキュウ (コウカイガタ)
Author Heading: 佐々木, 克巳ササキ, カツミ
京都大学数理解析研究所キョウトダイガクスウリカイセキケンキュウショ
https://ci.nii.ac.jp/author/DA00277933
Publication, Distribution, etc.: 京都大学数理解析研究所
Publication Date: 2018.8
Publication Date (W3CDTF): 2018
Size: 26cm
Alternative Title: Proof theory and proving : December 25-27, 2017
Place of Publication (Country Code): ja
Target Audience: 一般
Note (General): RIMS共同研究(公開型)報告集: 2017年12月25日-12月27日. 研究代表者: 佐々木克巳
参考文献: 各論文末
Related Material: 数理解析研究所講究録
https://cir.nii.ac.jp/crid/1130000795806014720
Related Material (URI): https://ci.nii.ac.jp/ncid/BB27669345#entity
Periodical Title: 数理解析研究所講究録
https://cir.nii.ac.jp/crid/1130000795806014720
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BB27669345 : BB27669345