Reverse Mathematics: Proofs from the Inside Out | Princeton University Press books | IEEE Xplore