Feferman on foundations. Logic, mathematics, philosophy
From MaRDI portal
Publication:2012669
DOI10.1007/978-3-319-63334-3zbMath1394.03005OpenAlexW4246030282WikidataQ59884498 ScholiaQ59884498MaRDI QIDQ2012669
No author found.
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
Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (5)
On the Performance of Axiom Systems ⋮ Banach’s theorem in higher-order reverse mathematics ⋮ IN MEMORIAM: SOLOMON FEFERMAN (1928–2016) ⋮ From Mathesis Universalis to Provability, Computability, and Constructivity ⋮ Truth and the philosophy of mathematics
This page was built for publication: Feferman on foundations. Logic, mathematics, philosophy
