TY  - BOOK
AU  - Stillwell
TI  - Reverse Mathematics: Proofs from the Inside Out
PB  - IEEE
UR  - https://ieeexplore.ieee.org/servlet/opac?bknumber=9452339
ER  -