| NCID | DA00049837 |
| 名称(HDNG) | Feferman, Solomon |
| から見よ(SF) | Feferman, S. (Solomon) |
| 注記(NOTE) | His The number systems, 1964
Iterated inductive definitions and subsystems of analysis, 1981: CIP t.p. (Solomon Feferman) CIP data sheet (b. 12/13/28)
Extended logics and their model theory, c1984: CIP t.p. (S. Feferman) |
| LCAID | 81134818 |