Reverse Mathematics: Problems, Reductions, and Proofs by Damir D. Dzhafarov, Carl Mummert 0 Type: Book