Feferman, Solomon, 1928-2016
Feferman, Solomon
Feferman, Solomon, 1928-
Solomon Feferman American mathematician
Solomon Feferman American philosopher and mathematician
VIAF ID: 34535231 ( Personal )
Permalink: http://viaf.org/viaf/34535231
Preferred Forms
- 200 _ | ‡a Feferman ‡b Solomon ‡f 1928-....
-
-
- 100 1 _ ‡a Feferman, Solomon
-
-
- 100 1 _ ‡a Feferman, Solomon
-
-
-
-
- 100 1 _ ‡a Feferman, Solomon ‡d 1928-
-
- 100 1 _ ‡a Feferman, Solomon, ‡d 1928-2016
-
- 100 1 _ ‡a Feferman, Solomon, ‡d 1928-2016
- 100 0 _ ‡a Solomon Feferman ‡c American mathematician
- 100 0 _ ‡a Solomon Feferman ‡c American philosopher and mathematician
4xx's: Alternate Name Forms (28)
5xx's: Related Names (5)
- 510 2 _ ‡a Association for symbolic logic
- 510 2 _ ‡a Stanford University
- 510 2 _ ‡a Stanford University ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 551 _ _ ‡a Stanford, Calif. ‡4 orts ‡4 https://d-nb.info/standards/elementset/gnd#placeOfDeath
- 510 2 _ ‡a University of California, Berkeley, June 1957
Works
Title | Sources |
---|---|
Alfred Tarski : life and logic | |
Čislovye sistemy : osnovaniâ algebry i analiza | |
Collected works. | |
Ergebnisse der Mathematik und ihrer Grenzgebiete, A Series of Modern Surveys in Mathematics | |
In the light of logic | |
Iterated inductive definitions and subsystems of analysis, 1981: | |
Je me souviens... : les Séfarades arrivent à Genève : projet d'un film documentaire | |
[Korespondencja Czesława Miłosza]. | |
Kurt Gödel : essays for his centennial | |
Mathematical logic | |
Model-theoretic logics | |
Number systems | |
Number systems foundations of algebra and analysis | |
Oeuvres complètes | |
Philosophia scientiae. Travaux d'histoire et de philosophie des sciences = Studien zur Wissenchaftsgeschichte und -philosophie = Studies in history and philosophy of sciences | |
Proofs, categories and computations : essays in honor of Grigori Mints | |
Publications 1938-1974 | |
Reflections on the foundations of mathematics : essays in honor of Solomon Feferman | |
Reports of the Midwest Category Seminar. | |
Sammlung | |
Selected correspondence, H-Z | |
Systems of logic | |
Transfinite recursive progressions of axiomatic theories | |
Unpublished essays and lectures | |
Числовые системы : основания алгебры и анализа |