
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.
- Redaktør
- Eugenio G. Omodeo, Alberto Policriti
- Opplag
- Softcover reprint of the original 1st ed. 2016
- ISBN
- 9783319824437
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 3.5.2018
- Antall sider
- 438
