Text ( visual ) : unmediated Reverse mathematics : proofs from the inside out / John Stillwell. -- Princeton : Princeton University Press , c2018. -- xiii, 182 p. : ill. ; 25 cm. -- Includes bibliographical references (p. [168]-172) and index. -- ISBN 9780691177175 ; (BB25290524) ; https://ci.nii.ac.jp/ncid/BB25290524 Author Heading(s): Stillwell, John. -- Classification(s): DC23 : 511.3. -- Subject Heading(s): LCSH : Reverse mathematics