Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Hardback / gebonden
|
Engels
€ 158,50
- Vanaf €15,- geen verzendkosten.
- 30 dagen ruiltermijn voor fysieke producten
Omschrijving
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.
“It is welcome indeed to have the book under review on my desk and in my possession, particularly given that it’s something of a Festschrift, sporting all sorts of goodies. … To real logicians or even to folks like me … this is a wonderful book to have.” (Michael Berg, MAA Reviews, January 2018)