Reverse Mathematics : Problems, Reductions, and Proofs - Dzhafarov, Damir D.; Mummert, Carl (Cham Springer International Publishing AG, 2022)