Concepts of Proof in Mathematics, Philosophy, and Computer ScienceDieter ProbstUitverkochtHou mij op de hoogte