ダウンロード数: 102

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0516-5.pdf571.16 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド言語
dc.contributor.authorMOTOHASHI, Nobuyoshien
dc.contributor.alternative本橋, 信義ja
dc.contributor.transcriptionモトハシ, ノブヨシja
dc.date.accessioned2010-03-03T04:15:13Z-
dc.date.available2010-03-03T04:15:13Z-
dc.date.issued1984-03-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/98389-
dc.format.mimetypeapplication/pdf-
dc.language.isoeng-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.titleA normal form theorem for first order formulas and its application to Gaifman's splitting theorem(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)en
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume516-
dc.identifier.spage40-
dc.identifier.epage52-
dc.textversionpublisher-
dc.sortkey05-
dcterms.accessRightsopen access-
出現コレクション:0516 数学基礎論

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

Export to RefWorks


出力フォーマット 


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