Computability and Decidability door J. Loeckx