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.

DOI10.1017/bsl.2023.39OpenAlexW4393122953MaRDI QIDQ6199177

Chris J. Conidis

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

Mathematics Subject Classification ID

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.