柘植, 利之
VIAF ID: 110217794 (Personal)
Permalink: http://viaf.org/viaf/110217794
Preferred Forms
-
100 1 _
‡a
柘植, 利之
4xx's: Alternate Name Forms (2)
Works
| Title | Sources |
|---|---|
| Predicates recursive in a type-2 object and Kleene hierarchies |
|
| 数学基礎論及び関連分野の総合的研究 |
|
