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