Proof and other dilemmas mathematics and philosophy - Gold, Bonnie (Spectrum series, 2008)