Context

Context of Concepts of proof in mathematics, philosophy, and computer science, edited by Dieter Probst and Peter Schuster, (electronic book)
Processing Feedback ...