Solomon Feferman

Solomon Feferman at the Association of Symbolic Logic, Pittsburgh, May 2004 Solomon Feferman (December 13, 1928July 26, 2016) was an American philosopher and mathematician who worked in mathematical logic. In addition to his prolific technical work in proof theory, computability theory, and set theory, he was known for his contributions to the history of logic (for instance, via biographical writings on figures such as Kurt Gödel, Alfred Tarski, and Jean van Heijenoort) and as a vocal proponent of the philosophy of mathematics known as predicativism, notably from an anti-platonist stance. Provided by Wikipedia
Showing 1 - 20 results of 42 for search 'Feferman, Solomon', query time: 0.08s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    In the light of logic /

    In the light of logic / by Feferman, Solomon

    Published 1998
    Get full text
    Electronic eBook


    Saved in:
  2. 2
    Model-theoretic logics /

    Model-theoretic logics /

    Published 2016
    Other Authors:
    Get full text
    Electronic eBook


    Saved in:
  3. 3
    Kurt Gödel : collected works.

    Kurt Gödel : collected works. by Gödel, Kurt

    Published 2014
    Other Authors: “…Feferman, Solomon…”
    Get full text
    Electronic eBook


    Saved in:
  4. 4
    Kurt Gödel : collected works.

    Kurt Gödel : collected works. by Gödel, Kurt

    Published 2014
    Other Authors: “…Feferman, Solomon…”
    Get full text
    Electronic eBook


    Saved in:
  5. 5
    Kurt Gödel : essays for his centennial /

    Kurt Gödel : essays for his centennial /

    Published 2010
    Other Authors:
    Get full text
    Electronic eBook


    Saved in:
  6. 6
    Collected works.

    Collected works. by Gödel, Kurt

    Published 1986
    Other Authors: “…Feferman, Solomon…”
    Get full text
    Electronic eBook


    Saved in:
  7. 7
    The number systems foundations of algebra and analysis

    The number systems foundations of algebra and analysis by Feferman, Solomon 1928-

    Published 2003
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Alfred Tarski life and logic

    Alfred Tarski life and logic by Feferman, Anita Burdman 1927-, Feferman, Solomon 1928-

    Published 2008
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Alfred Tarski life and logic

    Alfred Tarski life and logic by Feferman, Anita Burdman 1927-, Feferman, Solomon 1928-

    Published 2005
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Alfred Tarski life and logic

    Alfred Tarski life and logic by Feferman, Anita Burdman 1927-, Feferman, Solomon 1928-

    Published 2004
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    In the light of logic

    In the light of logic by Feferman, Solomon

    Published 1998
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  12. 12
    Čislovye sistemy osnovanija algebry i analiza

    Čislovye sistemy osnovanija algebry i analiza by Feferman, Solomon 1928-

    Published 1971
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Some formal systems for the unlimited theory of structures and categories

    Some formal systems for the unlimited theory of structures and categories by Feferman, Solomon 1928-

    Published 1970
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    In the light of logic

    In the light of logic by Feferman, Solomon 1928-

    Published 1998
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    In the light of logic

    In the light of logic by Feferman, Solomon

    Published 1998
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  16. 16
    In the light of logic

    In the light of logic by Feferman, Solomon

    Published 1998
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  17. 17
    The number systems foundations of algebra and analysis

    The number systems foundations of algebra and analysis by Feferman, Solomon 1928-

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  18. 18
    Iterated inductive definitions and subsystems of analysis recent proof-theoretical studies

    Iterated inductive definitions and subsystems of analysis recent proof-theoretical studies by Buchholz, Wilfried 1948-, Feferman, Solomon 1928-, Pohlers, Wolfram 1943-, Sieg, Wilfried 1945-

    Published 1981
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  19. 19
    The number systems foundations of algebra and analysis

    The number systems foundations of algebra and analysis by Feferman, Solomon 1928-

    Published 1964
    Book Interlibrary loan Place Request


    Saved in:
  20. 20
    Kurt Gödel essays for his centennial

    Kurt Gödel essays for his centennial

    Published 2010
    Other Authors: “…Feferman, Solomon 1928-…”
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:

Search Tools: