computable model theory

branch of model theory that deals with computation

카테고리: