デーデキント無限と型理論
Bibliographic Information
- Other Title
-
- デーデキント ムゲン ト カタ リロン
- The Dedekind-infinite and a type theory
Search this article
Journal
-
- 愛知学院大学教養部紀要 = The Journal of Aichi Gakuin University, Humanities & Sciences : 愛知学院大学論叢
-
愛知学院大学教養部紀要 = The Journal of Aichi Gakuin University, Humanities & Sciences : 愛知学院大学論叢 58 (4), 73-109, 2011
日進 : 愛知学院大学教養教育研究会
- Tweet
Details 詳細情報について
-
- CRID
- 1520572358102476416
-
- NII Article ID
- 120006977418
-
- NII Book ID
- AN10114546
-
- ISSN
- 09162631
-
- NDL BIB ID
- 11043927
-
- Text Lang
- ja
-
- NDL Source Classification
-
- ZF1(教育)
-
- Data Source
-
- NDL
- CiNii Articles
