Investigates the ultimate model of computation, including variants of Turing machines and their role in defining decidability.
If you are looking for similar content that is freely available (Open Access), you might consider: theory of computation vivek kulkarni pdf