WEKO3
アイテム
双対直観主義命題論理計算DLJのGentzen流形式化
https://hannan-u.repo.nii.ac.jp/records/1630
https://hannan-u.repo.nii.ac.jp/records/1630ccefd7c5-5ef9-4880-93ab-9bcbf27783e7
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
双対直観主義命題論理計算DLJ のGentzen 流形式化 (294.2 kB)
Restricted Access
|
|
| Item type | 紀要論文(ELS) / Departmental Bulletin Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2018-03-26 | |||||
| タイトル | ||||||
| タイトル | 双対直観主義命題論理計算DLJのGentzen流形式化 | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | departmental bulletin paper | |||||
| ページ属性 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | P(論文) | |||||
| 記事種別(日) | ||||||
| 論文 | ||||||
| 著者名(日) |
和泉, 孔二
× 和泉, 孔二 |
|||||
| 雑誌書誌ID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00206422 | |||||
| 書誌情報 |
阪南論集 人文・自然科学編 en : Journal of Hannan University Humanities & natural science 巻 25, 号 1・2・3, p. p115-126, 発行日 1989 |
|||||
