Constructive mathematics
notation: QA9.56
type: Concept

Computable functions
notation: QA9.59
member: collection LCSH General
member: collection LCSHAuthorizedHeadings
alternative label: Recursive functions, Partial
alternative label: Computability theory
alternative label: Functions, Computable
alternative label: Partial recursive functions
modified: 1987-04-03T09:01:10
related: Decidability (Mathematical logic)
broader: Constructive mathematics
in scheme: lcsh
created: 1986-02-11T00:00:00
type: Concept

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