"The field has been due for a general treatment accessible to undergraduates and to mathematicians in other areas. With Reverse Mathematics , John Stillwell provides exactly that kind of introduction." --Carl Mummert, Notices of the American Mathematical Society "Stillwell carefully situates the field in the broader context of the history of mathematics and its foundations, and does a fine job of making the whole endeavor accessible to a general mathematical audience." --Jeremy Avigad, Carnegie Mellon University "Filling an important niche, this book gives readers a good picture of the basics of reverse mathematics while suggesting several directions for further reading and study." --Denis Hirschfeldt, University of Chicago "Stillwell's book is self-contained and includes much background material in analysis, mathematical logic, combinatorics, and computability. I heartily commend this very readable and accessible book." --Stephen Simpson, Vanderbilt University.
Reverse Mathematics : Proofs from the Inside Out