[Solheim]

I also took a Computability course. We used:

https://www.amazon.com/Computability-Logic-George-S-Boolos/d...