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
URI: http://hdl.handle.net/2433/242206
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.