Title: Mathematical Logic and Computability