The Library of Congress > LCCN Permalink

View this record in:  MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)External Link

Feferman, Solomon

LC control no.n 81134818
Descriptive conventionsrda
Personal name headingFeferman, Solomon
    Browse this term in  LC Authorities  or the  LC Catalog
Variant(s)Feferman, S. (Solomon)
Birth date1928-12-13
Death date2016-07-26
Place of deathStanford (Calif.)
Field of activityMathematics Logic, Symbolic and mathematical
Found inHis 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)