Automata and computability

by Dexter Kozen

Automata and computability by Dexter Kozen (1997) on BookTides.