| Description |
1 online resource (x, 374 pages .) |
|
text file |
| Series |
Ontos mathematical logic,
2198-2341 ;
Volume 6
|
|
Ontos mathematical logic ; v. 6.
|
| Bibliography |
Includes bibliographical references. |
| Summary |
This book provides the reader with research arising from the Humboldt-Kolleg ‘Proof’ held in Bern in fall 2013, which gathered 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 those fields. |
| Local Note |
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America |
| Subject |
Proof theory.
|
|
Proof theory. |
|
Mathematics.
|
|
Mathematics. |
|
Logic, Symbolic and mathematical.
|
|
Logic, Symbolic and mathematical. |
| Genre/Form |
Electronic books.
|
|
Electronic books.
|
| Added Author |
Probst, Dieter, 1973- editor.
|
|
Schuster, Peter, 1967- editor.
|
| Other Form: |
Print version: 9781501502620 |
| ISBN |
150150262X (electronic book) |
|
9781501502620 (electronic book) |
|
9781501502644 (electronic book) |
|
1501502646 (electronic book) |
|
9781501502620 |
|
1501502638 |
|
1501502646 |
|
1501510800 |
|
9781501510809 (hardcover ; alkaline paper) |
|
