J. Stillwell, Reverse Mathematics: Proofs from the Inside Out, Princeton University Press, Princeton, 2018, xiii + 182 pp.
From MaRDI portal
Publication:4580036
DOI10.1017/bsl.2018.19zbMath1393.00014OpenAlexW2885322590WikidataQ113858368 ScholiaQ113858368MaRDI QIDQ4580036
Publication date: 13 August 2018
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/bsl.2018.19
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) History of real functions (26-03) General histories, source books (01A05) External book reviews (00A17)