John Stillwell is emeritus professor of mathematics at the University of San Francisco and an affiliate of the School of Mathematics at Monash University in Melbourne. His many books include The Story of Proof: Logic and the History of Mathematics; Reverse Mathematics: Proofs from the Inside Out; and Elements of Mathematics: From Euclid to Gödel (all Princeton).