Feferman on foundations. Logic, mathematics, philosophy
DOI10.1007/978-3-319-63334-3zbMATH Open1394.03005OpenAlexW4246030282WikidataQ59884498 ScholiaQ59884498MaRDI QIDQ2012669FDOQ2012669
Author name not available (Why is that?)
Publication date: 2 August 2017
Published in: Outstanding Contributions to Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-63334-3
Collections of articles of miscellaneous specific interest (00B15) History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Philosophy of mathematics (00A30)
Cited In (7)
- IN MEMORIAM: SOLOMON FEFERMAN (1928–2016)
- Banach’s theorem in higher-order reverse mathematics
- Lieber Herr Bernays! Lieber Herr Gödel! Gödel on finitism, constructivity, and Hilbert's program
- From Mathesis Universalis to Provability, Computability, and Constructivity
- On the Performance of Axiom Systems
- Truth and the philosophy of mathematics
- Title not available (Why is that?)
This page was built for publication: Feferman on foundations. Logic, mathematics, philosophy
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2012669)
