論文

2009年

An Ordinal-Free Proof of the Cut-elimination Theorem for a Subsystem of \Pi^1_1-Analysis with omega-rule

数理解析研究所講究録

秋吉亮太

巻: 1635
号
開始ページ: 1
終了ページ: 13
記述言語: 英語
掲載種別: 研究論文（研究会，シンポジウム資料等）
出版者・発行元: 京都大学

リンク情報

CiNii Articles: http://ci.nii.ac.jp/naid/110007050202
CiNii Books: http://ci.nii.ac.jp/ncid/AN00061013
URL: http://id.ndl.go.jp/bib/10220330
URL: http://hdl.handle.net/2433/140468

ID情報

ISSN : 1880-2818
CiNii Articles ID : 110007050202
CiNii Books ID : AN00061013

エクスポート: BibTeX RIS

論文リストへ