Foundations for analysis and proof theory
From MaRDI portal
Publication:798634
DOI10.1007/BF00485460zbMath0547.01013MaRDI QIDQ798634
Publication date: 1984
Published in: Synthese (Search for Journal in Brave)
01A50: History of mathematics in the 18th century
01A55: History of mathematics in the 19th century
26-03: History of real functions
03F99: Proof theory and constructive mathematics
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
- Two Applications of Logic to Mathematics
- Functionals defined by transfinite recursion
- Systems of predicative analysis
- A survey of proof theory
- Grundlagen der Mathematik I
- Bertrand Russell, as Mathematician