
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
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.
- Toimittaja
- Eugenio G. Omodeo, Alberto Policriti
- Painos
- 1st ed. 2016
- ISBN
- 9783319418414
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 9.2.2017
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 438