Siirry suoraan sisältöön
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Tallenna

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.

Painos
1st ed. 2016
ISBN
9783319418414
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
9.2.2017
Sivumäärä
438