Columbia subject headings:
Computable functions.
Gödel's theorem.
Recursive functions.
Turing machines.
Unsolvability (Mathematical logic)
Harvard subject headings:
Computable functions.
Gödel's theorem.
Recursive functions.
Turing machines.
Unsolvability (Mathematical logic)
Princeton subject headings:
Computable functions.
Gödel's theorem.
Recursive functions.
Turing machines.
Unsolvability (Mathematical logic)