Martin Davis on Computability, Computational Logic, and Mathematical Foundations
(Bog, Hardback, Engelsk)
Beskrivelse
This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2016 |
| Udgivelsesdato | 09-02-2017 |
| Første udgivelsesår | 2017 |
| Serie | Outstanding Contributions to Logic |
| Illustrationer | 2 Illustrations, color; 25 Illustrations, black and white |
| Fagredaktør | Eugenio G. Omodeo, Alberto Policriti |
| Originalsprog | Switzerland |
| Sideantal | 438 |
| Indbinding | Hardback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 438 pages, 2 Illustrations, color; 25 Illustrations, black and white |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783319418414 |