Machine generated authority record.
Work cat.: (OSt): Probst, Dieter., Concepts of Proof in Mathematics, Philosophy, and Computer Science.