इसका टेक्स्ट मैसेज भेजे: Concepts of proof in mathematics, philosophy, and computer science /