Concepts of proof in mathematics, philosophy, and computer science /
edited by Dieter Probst and Peter Schuster.
- 1 online resource (384 pages) : illustrations, tables.
- Ontos Mathematical Logic, Volume 6 2198-2341 ; .
- Ontos mathematical logic ; Volume 6. .
Includes bibliographical references at the end of each chapters.
9781501502620 (e-book)
Proof theory.
Mathematics.
Logic, Symbolic and mathematical.
Electronic books.
QA9.54 / .C663 2016eb
511.3/6
Includes bibliographical references at the end of each chapters.
9781501502620 (e-book)
Proof theory.
Mathematics.
Logic, Symbolic and mathematical.
Electronic books.
QA9.54 / .C663 2016eb
511.3/6