Reverse Mathematics: Proofs from the Inside Out - Stillwell (IEEE, 2003)