ダウンロード数: 320

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0818-03.pdf621.87 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド言語
dc.contributor.author菊池, 誠ja
dc.contributor.author田中, 一之ja
dc.contributor.alternativeKikuchi, Makotoen
dc.contributor.alternativeTanaka, Kazuyukien
dc.contributor.transcriptionキクチ, マコトja
dc.contributor.transcriptionタナカ, カズユキja
dc.date.accessioned2009-07-30T05:43:27Z-
dc.date.available2009-07-30T05:43:27Z-
dc.date.issued1993-01-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/83140-
dc.format.mimetypeapplication/pdf-
dc.language.isojpn-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.title不完全性定理とWKL$_0$(数理論理学とその応用)ja
dc.title.transcriptionフカンゼンセイ テイリ ト WKL$_0$ スウリ ロンリガク ト ソノ オウヨウja-Kana
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume818-
dc.identifier.spage11-
dc.identifier.epage19-
dc.textversionpublisher-
dc.sortkey03-
dc.address東京工業大学理学部, 東北大学理学部ja
dc.address東北大学教養学部ja
dcterms.accessRightsopen access-
出現コレクション:0818 数理論理学とその応用

アイテムの簡略レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。