Proof and other dilemmas : mathematics and philosophy - Gold, Bonnie, 1948-; Simons, Roger A. (Spectrum series, 2008)