Reverse Mathematics: Proofs from the Inside Out, Paperback

The first book surveying the history and ideas behind reverse mathematics

Reverse mathematics is a new field that seeks to find the axioms needed to prove given theorems. In Reverse Mathematics, John Stillwell offers a historical and representative view, emphasizing basic analysis and giving a novel approach to logic. By using a minimum of mathematical logic in a well-motivated way, Reverse Mathematics will engage advanced undergraduates and all mathematicians interested in the foundations of mathematics.

John Stillwell is professor of mathematics at the University of San Francisco and an affiliate of the School of Mathematical Sciences at Monash University, Australia. His many books include Mathematics and Its History and Elements of Mathematics (Princeton).