Computability and Decidability by J Loeckx