Stillwell, John
Reverse mathematics : proofs from the inside out
Princeton, New Jersey : Princeton University Press, 2018.xiii, 182 p.  
QA9.25 S75