Definability and Computability innbundetEngelsk, 1996