Concepts of Proof in Mathematics, Philosophy, and Computer Science (EPUB)
This post was published 8 years ago. Download links are most likely obsolete. If that's the case, try asking the uploader to re-upload.
English | July 25, 2016 | ISBN: 1501510800 | EPUB | 384 pages | 34.9 MB
This book provides the reader with research arising from the Humboldt-Kolleg 'Proof' held in Bern in fall 2013, which gathered more than sixty leading experts actively involved with the concept 'proof' in philosophy, mathematics and computer science.
This volume aims to do justice to the breadth and depth of the subject and presents relevant current conceptions and technical advances featuring 'proof' in the fields mentioned above.
Quick check before we show the links
Helps us keep automated scrapers from hammering the filehosts.