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