Cooper. Computability Theory
A concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results.
- from
- Theoretical Computer Science
- added
- 2026-10-10
- likes
- 0
similar
-
Copeland, Posy & Shagrir (editors). Computability: Turing, Gödel, Church, and Beyond mitpress.mit.edu
Computer scientists, mathematicians, and philosophers discuss the conceptual foundations of the notion of computability as well as recent theoretical developments.
-
Davis. Computability and Unsolvability amazon.com
In this classic text, Dr. Davis provides a clear introduction to computability, at an advanced undergraduate level, that serves the needs of specialists and non-specialists alike.
-
Atallah & Blanton. Algorithms and Theory of Computation Handbook: General Concepts and Techniques routledge.com
A complete comprehensive encyclopediac handbook which surveys all related areas to theoretical computer science.
-
Computability - An introduction to recursive function theory poincare.matf.bg.ac.rs
Nigel Cutland (University of Hull).
-
Introduction to the Theory of Computation gitlab.com
Formalization to support an undergraduate course on the theory of computation, including languages and Turing machines.
-
Atallah & Blanton. Algorithms and Theory of Computation Handbook: Special Topics and Techniques routledge.com
A complete comprehensive encyclopediac handbook which surveys all related areas to theoretical computer science.
Theoretical Computer Science › Computability Theory > Books > Introductory: “A concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results.”