125.-
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.
- : Springer International Publishing Ag
- : Springer International Publishing Ag
- : 9783319824437
- : Engels
- : Paperback
- : 438
- : mei 2018
- : 720
- : 157 x 234 x 33 mm.
- : Outstanding Contributions to Logic
- : Filosofie: logica; Wiskundige logica