WEKO3
-
RootNode
アイテム
高階古典論理の形式的体系の試作II
http://hdl.handle.net/10252/1428
http://hdl.handle.net/10252/1428c85bf8e1-fac0-4c25-9924-f3c9784e3fbb
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
RLA_88_53-74.pdf (649.9 kB)
|
|
| Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2008-12-04 | |||||
| タイトル | ||||||
| タイトル | 高階古典論理の形式的体系の試作II | |||||
| 言語 | ja | |||||
| タイトル | ||||||
| タイトル | A Formal System of Higher Order Logic (II) | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | departmental bulletin paper | |||||
| 著者 |
兼岩, 龍二
× 兼岩, 龍二 |
|||||
| 著者別名 | ||||||
| 識別子Scheme | WEKO | |||||
| 識別子 | 3516 | |||||
| 姓名 | Kaneiwa, Ryuji | |||||
| 言語 | en | |||||
| bibliographic_information |
ja : 小樽商科大学人文研究 巻 88, p. 53-74, 発行日 1994-08 |
|||||
| 出版者 | ||||||
| 出版者 | 小樽商科大学 | |||||
| 言語 | 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 | |||||
| 主題 | 数学 | |||||
