古森, 雄一
Komori, Yuichi
VIAF ID: 257090811 (Personal)
Permalink: http://viaf.org/viaf/257090811
Preferred Forms
-
100 1 _ ‡a Komori, Yuichi
-
100 1 _
‡a
古森, 雄一
-
100 1 _
‡a
古森, 雄一
4xx's: Alternate Name Forms (3)
Works
| Title | Sources |
|---|---|
| Gendai sūri ronrigaku josetsu |
|
| A simplified proof of the Church-Rosser theorem |
|
| チャーチのラムダ計算のBCK論理による再生 |
|
| 部分構造論理の研究 |
|
| 現代数理論理学序説 |
|
