enderton2010-computability

https://shop.elsevier.com/books/computability-theory/enderton/978-0-12-384958-8