Concepts of Proof in Mathematics, Philosophy, and Computer Science Dieter Probst, Peter Schuster Digital bok / 2016 / Engelsk
