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
Lägsta pris på PriceRunner

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
2017-02-09
Sidor
438