Teorio di komputebleso

De Wikipedio

Teorio di komputebleso o teorio di rekurso es brancho di matematikala logiko, informatiko e teorio di komputado, qua es rezulto di exploro of komputebla funcioni e gradi di Turing.