This contrasts with the theory of subrecursive hierarchies , formal methods and formal languages that is common in the study of computability theory in computer science .

Computability theory is part of computer science .
