Theory of Computation Books

Computation: Finite and Infinite Machines

• authors: Marvin Minsky
• date: 1967
• ISBN: 0-1316556-3-9
• publisher: Prentice Hall
• borrow @ archive.org

.

The Universal Turing Machine

• subtitle: a half-century survey
• authors: Rolf Herken (Ed.)
• date: 1988
• borrow @ archive.org

.

Theory of Recursive Functions and Effective Computability

• authors: Hartley Rogers
• date: 1967
• borrow @ archive.org

.

Automata and Computability

• authors: Dexter Kozen
• date: 1997
• borrow @ archive.org

.

Theory of Computation

• authors: Walter Brainerd, Lawrence Landweber
• date: 1974
• ISBN: 0-4710958-5-0
• publisher: Wiley
• borrow-with-print-disabilities @ archive.org
• borrow-with-print-disabilities @ archive.org

.

Theories of Computation

• authors: Nicholas Pippenger
• date: 1997
• borrow @ archive.org

.

Computability Theory, Semantics, and Logic Programming

• authors: Melvin Fitting
• date: 1987
• borrow @ archive.org
• topics: Theory of Computation, Logic Programming

.

Theory of Deductive Systems and its Applications

• authors: Sergei Yurevich Maslov
• date: 1987
• borrow @ archive.org
• topics: Theory of Computation, Logic, Proof Theory

.