Reverse mathematics proofs from the inside out - Stillwell, John (The MIT Press, 2018)