Proof and other dilemmas mathematics and philosophy - Gold, Bonnie, 1948-; Simons, Roger A. (MAA spectrum., 2008)