The Proof is in the Pudding The Changing Nature of Mathematical Proof - Krantz, Steven G.; SpringerLink (Online service) (New York, NY : Springer New York, 2011)
Keywords: Mathematics; Numerical analysis; Logic, Symbolic and mathematical; Mathematics; History of Mathematical Sciences; Popular Science in Mathematics/Computer Science/Natural Science/Technology.; Mathematical Logic and Foundations; Numerical Analysis