Reverse mathematics proofs from the inside out - Stillwell, John (Cambridge, Massachusetts The MIT Press, 2018)
Electronic reproduction
Keywords: Reverse mathematics; Electronic books