Skip to content
book: Concepts of Proof in Mathematics, Philosophy, and Computer Science
Licensed Unlicensed Requires Authentication Published by De Gruyter 2016

Concepts of Proof in Mathematics, Philosophy, and Computer Science

  • Edited by: Dieter Probst and Peter Schuster
Volume 6 in the series Ontos Mathematical Logic