LC control no. | sh 85112014 |
---|---|
LC classification | QA9.615 |
Topical heading | Recursive functions |
Variant(s) | Functions, Recursive |
See also | Algorithms Arithmetic--Foundations Logic, Symbolic and mathematical Number theory Recursion theory Decidability (Mathematical logic) |