Gå direkt till innehållet
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Spara

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

inbunden, 2017
Engelska

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.

Upplaga
1st ed. 2016
ISBN
9783319418414
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
9.2.2017
Sidor
438