Finished “Simply Gödel”. Brought back memories of studying computability theory in grad school. I might dig out the old books.