Introduction -- Feferman 1977

DOI10.1017/S175502031200010XzbMATH Open1284.18001OpenAlexW4243906960MaRDI QIDQ2845101FDOQ2845101

Authors:

Publication date: 22 August 2013

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s175502031200010x

Recommendations

• Introduction to Special Issue: Foundations of Mathematical Structuralism
• Feferman on foundations. Logic, mathematics, philosophy
• Introduction
• Editor's introduction to the special issue on ``Models of arithmetic
• Feferman on computability

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 20th century (01A60) Philosophy of mathematics (00A30) Foundations, relations to logic and deductive systems (18A15) History of category theory (18-03)

This page was built for publication: Introduction -- Feferman 1977

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2845101)