computable model theory

branch of model theory that deals with computation

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

Kategoriler:

model theory