bn:00287942n
Noun Concept
Categories: Constructivism (mathematics), Model theory
EN
computable model theory
EN
Computable model theory is a branch of model theory which deals with questions of computability as they apply to model-theoretical structures. Wikipedia
Definitions
Relations
Sources
EN
Computable model theory is a branch of model theory which deals with questions of computability as they apply to model-theoretical structures. Wikipedia
Wikipedia Redirections