- Computability theory
- Functions, Computable
- Partial recursive functions
- Recursive functions, Partial
- Constructive mathematics
- Decidability (Mathematical logic)
- 1986-02-11: new
- 1987-04-03: revised
The LC Linked Data Service welcomes any suggestions you might have about terminology used for a given heading or concept.
Would you like to suggest a change to this heading?
Please provide your name, email, and your suggestion so that we can begin assessing any terminology changes.
Fields denoted with an asterisk (*) are required.