Title: Computability and Logic