Reverse Mathematics: Proofs from the Inside Out

Reverse Mathematics: Proofs from the Inside Out is a book by John Stillwell on reverse mathematics, the process of examining proofs in mathematics to determine which axioms are required by the proof. It was published in 2018 by the Princeton University Press.^[1]^[2]^[3]^[4]^[5]^[6]

^ Cite error: The named reference kahle was invoked but never defined (see the help page).
^ Cite error: The named reference hirst was invoked but never defined (see the help page).
^ Cite error: The named reference cohen was invoked but never defined (see the help page).
^ Cite error: The named reference bultheel was invoked but never defined (see the help page).
^ Cite error: The named reference kossak was invoked but never defined (see the help page).
^ Cite error: The named reference case was invoked but never defined (see the help page).