Book Details
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.
Read more - ISBN13 9783319824437
- ISBN10 3319824430
- Pages 438
- Published 2018
- Fecha de publicación 03/05/2018
- Language German, French
Reviews and ratings
Martin Davis on Computability, Computational Logic, and Mathematical Foundations (German, French)
- By
- |
- SPRINGER (2018)
- 9783319824437



