Computability, Enumerability, Unsolvability, London Mathematical Society Lecture Note Series