Martin Davis on Computability, Computational Logic, and Mathematical Foundations: 10 (Outstanding Contributions to Logic)

by Alberto Policriti (Editor), Eugenio G. Omodeo (Editor)

New
Hardcover
2017
$164.75

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.

Synopsis

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.

$164.75

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 468
Edition: 1st ed. 2016
Publisher: Springer
Published: 09 Feb 2017
ISBN 10: 3319418416
ISBN 13: 9783319418414

Martin Davis on Computability, Computational Logic, and Mathematical Foundations: 10 (Outstanding Contributions to Logic)

New

$164.75

Synopsis

$164.75

More Information