Access count of this item: 434

Files in This Item:
File Description SizeFormat 
1442-1.pdf663.03 kBAdobe PDFView/Open
Title: 竹内の基本予想とは何か、何であるべきか : 50年に (証明論と計算論)
Other Titles: What is and what should be the Takeuti's fundamental conjecture? : 50 years later (Proof Theory and Computation Theory)
Authors: 新井, 敏康  KAKEN_name
Author's alias: Arai, Toshiyasu
Issue Date: Jul-2005
Publisher: 京都大学数理解析研究所
Journal title: 数理解析研究所講究録
Volume: 1442
Start page: 1
End page: 7
Appears in Collections:Proof Theory and Computation Theory

Show full item record

Export to RefWorks

Export Format: 

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