This volume presents reverse mathematics to a general mathematical audience for the first time. Stillwell gives a representative view of this field, emphasizing basic analysis--finding the right axioms to prove fundamental theorems--and giving a novel approach to logic. to logic.
