key topic بالعربية

It is a key topic of the field of computability theory within mathematical logic and the theory of computation within computer science.

وهي الموضوع الرئيسي لمجال نظرية الحاسوبية في المنطق الرياضي ونظرية الحساب في علوم الحاسوب.