ダウンロード数: 171

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0976-14.pdf643.94 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド言語
dc.contributor.authorHamano, Masahiroen
dc.contributor.authorOkada, Mitsuhiroen
dc.contributor.alternative浜野, 正浩ja
dc.contributor.alternative岡田, 光弘ja
dc.contributor.transcriptionハマノ, マサヒロja
dc.contributor.transcriptionオカダ, ミツヒロja
dc.date.accessioned2008-07-09T02:57:54Z-
dc.date.available2008-07-09T02:57:54Z-
dc.date.issued1997-02-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/60797-
dc.format.mimetypeapplication/pdf-
dc.language.isoeng-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.titleA Hierarchy of the Fragments of the System of Inductive Definition : Preliminary Reporten
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume976-
dc.identifier.spage169-
dc.identifier.epage181-
dc.textversionpublisher-
dc.sortkey14-
dc.addressDepartment of Philosophy, Keio Universityen
dc.addressDepartment of Philosophy, Keio Universityen
dc.address.alternative慶応義塾大学哲学科ja
dc.address.alternative慶応義塾大学哲学科ja
dcterms.accessRightsopen access-
出現コレクション:0976 証明論における順序数

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

Export to RefWorks


出力フォーマット 


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