Reverse Mathematics: Proofs from the Inside Out in Bloomington, MN

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,
will engage advanced undergraduates and all mathematicians interested in the foundations of mathematics.