computable model theory

branch of model theory that deals with computation

en-GB/kəmˈpjuːtəbəl ˈmɒdəl θɪəɹiː/

カテゴリ：

model theory