Concepts of proof in mathematics, philosophy, and computer science
This book provides the reader with research arising from the Humboldt-Kolleg {u2018}Proof{u2019} held in Bern in fall 2013, which gathered leading experts actively involved with the concept {u2018}proof{u2019} in philosophy, mathematics and computer science. This volume aims to do justice to the bre...
| Otros Autores: | , |
|---|---|
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Berlin :
De Gruyter
[2016]
|
| Colección: | Ontos mathematical logic ;
v. 6. |
| Acceso en línea: | Conectar con la versión electrónica |
| Ver en Universidad de Navarra: | https://innopac.unav.es/record=b35864631*spi |
| Sumario: | This book provides the reader with research arising from the Humboldt-Kolleg {u2018}Proof{u2019} held in Bern in fall 2013, which gathered leading experts actively involved with the concept {u2018}proof{u2019} 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 {u2018}proof{u2019} in those fields. |
|---|---|
| Descripción Física: | x, 374 p. |
| Formato: | Forma de acceso: World Wide Web. |
| Bibliografía: | Incluye referencias bibliográficas. |
| ISBN: | 9781501502620 9781501502644 |
