Introduction -- Feferman 1977

DOI10.1017/S175502031200010XMaRDI QIDQ2845101zbMATH OpenOpenAlexFDO

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

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)

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

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)