Goodreads Choice Awards 2025
Genres

Computability Theory


Computability Theory Books

Computability and Unsolvability
Theory of Computation: Automata, Formal Languages, Computation and Complexity
A Programming Approach to Computability (Monographs in Computer Science)
Programs and Machines: An Introduction to the Theory of Computation
Computing machinery and intelligence
Calculabilité: Degrés turing/Thérorie algorithmique de l'aléatoire/Mathématiques à rebours/Hypercalculabilité
Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)
Handbook of Computability and Complexity in Analysis (Theory and Applications of Computability)
Hilbert's Tenth Problem: An Introduction to Logic, Number Theory, and Computability (Student Mathematical Library)
Computability: An Introduction to Recursive Function Theory
Computability and Complexity
Introduction to the Theory of Computation
Incompleteness and Computability: An Open Introduction to Gödel's Theorems
The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
Introduction to Algorithms
More computability theory books...