Engines of Logic
E238243
UNEXPLORED
Engines of Logic is a book by mathematician and computer scientist Martin Davis that explores the historical development of mathematical logic and its foundational role in the creation of modern computers.
Jump to:
Referenced by
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.