Concepts of proof in mathematics, philosophy, and computer science (De Gruyter, 2016)
Description based on print version record