D. D. Dzhafarov <scp>and</scp> C. Mummert, Reverse Mathematics: Problems, Reductions, and Proofs. Theory and Applications of Computability. Springer Nature, Cham, 2022, xix + 488 pp.
From MaRDI portal
Publication:6199177
DOI10.1017/bsl.2023.39OpenAlexW4393122953MaRDI QIDQ6199177
Publication date: 23 February 2024
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/bsl.2023.39
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Foundations of classical theories (including reverse mathematics) (03B30) External book reviews (00A17)
This page was built for publication: D. D. Dzhafarov <scp>and</scp> C. Mummert, Reverse Mathematics: Problems, Reductions, and Proofs. Theory and Applications of Computability. Springer Nature, Cham, 2022, xix + 488 pp.
