Concepts of Proof in Mathematics, Philosophy, and Computer Science
(Bog, Hardback, Engelsk)
Forlag:
De Gruyter
- Type: Bog
- Format: Hardback
-
Sprog:
Engelsk
- ISBN-13: 9781501510809
- Se flere detaljer ▼
Beskrivelse
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 presents relevant conceptions and technical advances featuring 'proof' in those fields.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | De Gruyter |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgivelsesdato | 25-07-2016 |
| Første udgivelsesår | 2016 |
| Serie | Ontos Mathematical Logic |
| Fagredaktør | Dieter Probst, Peter Schuster |
| Originalsprog | United States |
| Sideantal | 384 |
| Indbinding | Hardback |
| Forlag | De Gruyter |
| Sideoplysninger | 384 pages |
| Mål | 230 x 155 |
| ISBN-13 / EAN-13 | 9781501510809 |