*Automata theory*Abstract machine*List of undecidable problems*Computational complexity theory*Computability logic*Important publications in computability* Part Two: Computability Theory, Chapters 3–6, pp.
==See also==*Automata theory*Abstract machine*List of undecidable problems*Computational complexity theory*Computability logic*Important publications in computability== References ==* Part Two: Computability Theory, Chapters 3–6, pp.