Q818930

From Wikidata
Jump to: navigation, search

computability theory (Q818930)[edit]

branch of mathematical logic, computer science, and the theory of computation studying computable functions and Turing degrees [edit]

Also known as:
  • recursion theory
[edit]

Statements