(Q818930)

English

computability theory

study of computable functions and Turing degrees

  • recursion theory

Statements

Identifiers

 
edit
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit