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.39MaRDI 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
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03B30: Foundations of classical theories (including reverse mathematics)
00A17: External book reviews