Concepts of proof in mathematics, philosophy, and computer science (Ontos mathematical logic, 2016)