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

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

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
Softcover reprint of the original 1st ed. 2016
ISBN
9783319824437
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2018-05-03
Sidor
438