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 |