bn:00287942n
Noun Concept
Categories: Model theory, Constructivism (mathematics)
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