WEKO3
アイテム
高階古典論理の形式的体系の試作 I
http://hdl.handle.net/10252/1445
http://hdl.handle.net/10252/144507f5c7c5-1f05-489e-99b0-30949346b358
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
RLA_87_57-81.pdf (686.4 kB)
|
|
| Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2008-12-04 | |||||
| タイトル | ||||||
| タイトル | 高階古典論理の形式的体系の試作 I | |||||
| 言語 | ja | |||||
| タイトル | ||||||
| タイトル | A Formal System of Higher Order Logic(I) | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | departmental bulletin paper | |||||
| 著者 |
兼岩, 龍二
× 兼岩, 龍二 |
|||||
| 著者別名 | ||||||
| 識別子Scheme | WEKO | |||||
| 識別子 | 3565 | |||||
| 姓名 | Kaneiwa, Ryuji | |||||
| 言語 | en | |||||
| bibliographic_information |
ja : 小樽商科大学人文研究 巻 87, p. 57-81, 発行日 1994-03-31 |
|||||
| 出版者 | ||||||
| 出版者 | 小樽商科大学 | |||||
| 言語 | ja | |||||
| ISSN / EISSN | ||||||
| 収録物識別子タイプ | PISSN | |||||
| 収録物識別子 | 0482-458X | |||||
| item_5_source_id_11 | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00133464 | |||||
| 出版タイプ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| 日本十進分類法 | ||||||
| 言語 | ja | |||||
| 主題Scheme | NDC | |||||
| 主題 | 410 | |||||
| NIIサブジェクト | ||||||
| 言語 | ja | |||||
| 主題Scheme | Other | |||||
| 主題 | 数学 | |||||
