Updates

Latest Tweet



What's New?

Check out for latest innovation, a computer based training video collection


Like this Page

Martin Davis

Home / Authors / Martin Davis

Tags

logic mathematics theory of computation formal methods mathematical logic recursion theory theoretical computer science alan turing computability computability theory turing machine decision problem computational complexity theory complexity science automata theory formal languages all (complexity)

Published Books

Computability and Unsolvability (Mcgraw-Hill Series in Information Processing and Computers.)

Read more

December 1985

Engines of Logic: Mathematicians and the Origin of the Computer

Read more

November -1

Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing)

Read more

February 1994

Co-Authors