Proof and Other Dilemmas: Mathematics and Philosophy (Spectrum)