Recursion theory is a branch of mathematical logic that studies the concept of computability and its associated properties.