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