Concepts of Proof in Mathematics, Philosophy, and Computer Science | lit.salon