LC control no. | n 81134818 |
---|---|
Descriptive conventions | rda |
Personal name heading | Feferman, Solomon |
Variant(s) | Feferman, S. (Solomon) |
Birth date | 1928-12-13 |
Death date | 2016-07-26 |
Place of death | Stanford (Calif.) |
Field of activity | Mathematics Logic, Symbolic and mathematical |
Found in | 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) Stanford news, October 7, 2016 (Soloman Feferman, one of the leading mathematical logicians of the 20th century, died July 26, 2016, at his Stanford home; age 87) |