Access count of this item: 3

Files in This Item:
File Description SizeFormat 
2083-16.pdf906.24 kBAdobe PDFView/Open
Title: 項内に束縛関係を持つ一階述語論理の構成 (証明論と証明活動)
Authors: 中村, 知己  KAKEN_name
鹿島, 亮  KAKEN_name
Author's alias: Nakamura, Kazuki
Kashima, Ryo
Issue Date: Aug-2018
Publisher: 京都大学数理解析研究所
Journal title: 数理解析研究所講究録 = RIMS Kokyuroku
Volume: 2083
Start page: 156
End page: 166
Appears in Collections:2083 Proof theory and proving

Show full item record

Export to RefWorks

Export Format: 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.