WEKO3
アイテム
デーデキント無限と型理論
https://agu.repo.nii.ac.jp/records/60
https://agu.repo.nii.ac.jp/records/607eb28948-26b4-4c33-a896-e94cfbdad479
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
デーデキント無限と型理論 (1.7 MB)
|
.png)
|
| Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2020-08-27 | |||||
| タイトル | ||||||
| タイトル | デーデキント無限と型理論 | |||||
| タイトル | ||||||
| タイトル | The Dedekind-infinite and a Type Theory | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | departmental bulletin paper | |||||
| 著者 |
久馬, 栄道
× 久馬, 栄道 |
|||||
| 書誌情報 |
愛知学院大学教養部紀要 en : THE JOURNAL OF AICHI GAKUIN UNIVERSITY Humanities & Sciences 巻 58, 号 4, p. 73-109, 発行日 2011-03-31 |
|||||
| 出版者 | ||||||
| 出版者 | 愛知学院大学教養教育研究会 | |||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 0916-2631 | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN10114546 | |||||
| 論文ID（NAID） | ||||||
| 識別子タイプ | NAID | |||||
| 関連識別子 | 40018763764 | |||||
