Reverse mathematics proofs from the inside out - Stillwell, John 1942- (Princeton University Press, 2018)