Jeffrey

Selected reading: Computability and Logic.