work for my Directed Studies course covering Boolos and Jeffrey's 'Computability and Logic'