WEKO3
アイテム
自然演繹法の健全性について
https://daiichi-koudai.repo.nii.ac.jp/records/565
https://daiichi-koudai.repo.nii.ac.jp/records/5658c03688f-5226-4ad6-8aca-78b81506e5f8
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
Kenkyu-Houkoku_v11_p59-66.pdf (567.7 kB)
|
|
| Item type | 紀要論文／Departmental Bulletin Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2012-03-06 | |||||
| タイトル | ||||||
| タイトル | 自然演繹法の健全性について | |||||
| 言語 | ja | |||||
| タイトル | ||||||
| タイトル | On the soundness of natural deduction theory | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | departmental bulletin paper | |||||
| 著者 |
山元, 完二
× 山元, 完二 |
|||||
| 著者ヨミ | ||||||
| 識別子Scheme | WEKO | |||||
| 識別子 | 3304 | |||||
| 姓名 | ヤマモト, カンジ | |||||
| 著者（英) | ||||||
| 識別子Scheme | WEKO | |||||
| 識別子 | 3305 | |||||
| 姓名 | YAMAMOTO, Kanji | |||||
| 収録雑誌名 |
第一工業大学研究報告 号 第11号, p. 59-66, 発行日 1999-03-01 |
|||||
| 公開者・出版者 | ||||||
| 出版者 | 第一工業大学 | |||||
| 公開者ヨミ | ||||||
| 値 | ダイイチ コウギョウ ダイガク | |||||
| 公開者別名 | ||||||
| 値 | College of Technology,Dai-Ichi University | |||||
| NII書誌ID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN10303695 | |||||
| 情報源(URL) | ||||||
| 関連名称 | http://karn.lib.kagoshima-u.ac.jp/handle/123456789/6708 | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| NDC | ||||||
| 主題Scheme | NDC | |||||
| 主題 | 400 | |||||
