computability logic

formal system for computability

en-GB/kəmpjuːtəbɪlɪtiː ˈlɒd͡ʒɪk/

Danh mục:

science projectlogical systemmathematical model