- Functions, Recursive
- Logic, Symbolic and mathematical
- Number theory
- Recursion theory
- Decidability (Mathematical logic)
- 1986-02-11: new
- 1989-08-01: 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.