Teorio di komputebleso
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.

Matematiko
Informatiko