Automata And Computability by Dexter Kozen (1997)
This textbook aims to offer undergraduate students an introduction to the fundamental theoretical models of computability, delving into the diverse and intricate structure of these models. It caters to students with some background in elementary discrete mathematics, presenting a well-paced initial course with additional chapters introducing more advanced concepts.
[Read More]