computable model theory

branch of model theory that deals with computation

Categories: