Proof is in the pudding (The) : The changing nature of mathematical proof - Krantz, Steven G. (New York Springer, 2011)
Keywords: MATHEMATICS; FOUNDATIONS OF LOGIC