Concepts of Proof in Mathematics, Philosophy, and Computer Science Probst Dieter Innbundet / 2016 / Engelsk
