Computability Theory Prolog Experiments in Discrete Mathematics, Logic, and Computability by James Hein
