Computation, Proof, Machine
Autor: | Dowek, Gilles |
---|---|
EAN: | 9780521118019 |
Sachgruppe: | Informatik, EDV |
Sprache: | Englisch |
Seitenzahl: | 162 |
Produktart: | Gebunden |
Veröffentlichungsdatum: | 11.09.2017 |
132,10 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
To understand the future of mathematics, this fascinating book returns to its past, tracing the hidden history that follows the thread of computation.