Recursion theory
notation: QA9.6
type: Concept

Number theory
notation: QA241-QA246
type: Concept

Logic, Symbolic and mathematical
notation: BC131-BC135
notation: QA9-QA10.3
type: Concept

Algorithms
type: Concept

Arithmetic--Foundations
notation: QA248
type: Concept

Recursive functions
broader: Arithmetic--Foundations
broader: Number theory
broader: Recursion theory
broader: Logic, Symbolic and mathematical
broader: Algorithms
alternative label: Functions, Recursive
type: Concept
related: Decidability (Mathematical logic)
member: collection LCSHAuthorizedHeadings
member: collection LCSH General
created: 1986-02-11T00:00:00
notation: QA9.615
modified: 1989-08-01T16:28:46
in scheme: lcsh

Decidability (Mathematical logic)
notation: QA9.65
type: Concept
related: Recursive functions