Paperback (31 Jan 2016)
Not available for sale
Out of stock
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.
| ISBN: | 9781501502637 |
| Publisher: | De Gruyter |
| Imprint: | De Gruyter |
| Pub date: | 31 Jan 2016 |
| DEWEY: | 511.36 |
| DEWEY edition: | 23 |
| Number of pages: | 500 |
| Weight: | -1g |
| Height: | 230mm |
| Width: | 155mm |
$5.23off
Consolations
Hardback
Published 07 Nov 2019
Save $5.23
$5.57off
Open Socrates
Hardback
Published 14 Jan 2025
Save $5.57
$6.37off
Consolations. II
Hardback
Published 07 Nov 2024
Save $6.37
Discourses and Selected Writings
Paperback
Published 28 Aug 2008
Slow Down
Paperback
Published 16 Jan 2025
$6.26off
We Who Wrestle With God
Hardback
Published 19 Nov 2024
Save $6.26
$2.34off
You Don't Have to Have a Dream
Hardback
Published 05 Sep 2024
Save $2.34
The Republic
Paperback
Published 31 May 2007
$0.58off
Feline Philosophy
Paperback
Published 28 Oct 2021
Save $0.58
Doing Good Better
Paperback
Published 07 Jul 2016