Billede af bogens forside - Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Bog, Hardback, Engelsk, 2017

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.

Priser fra 4 boghandlere

Bogdetaljer

  • SprogEngelsk
  • IndbindingHardback
  • ISBN9783319418414
  • Udgivet9/02/2017
  • Udgivet afSpringer International Publishing AG
  • Længde438 sider
  • GenreBusiness og læring, Computer og IT