Gå direkte til innholdet
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Spar

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

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.

Opplag
Softcover reprint of the original 1st ed. 2016
ISBN
9783319824437
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
3.5.2018
Antall sider
438