Automata and computability
Kozen, Dexter C
Automata and computability Dexter C Kozen - - Springer-Verlag, New York 1997 - - .
Mathematical logic-- Mathematics
511.3 KOZ-A
Automata and computability Dexter C Kozen - - Springer-Verlag, New York 1997 - - .
Mathematical logic-- Mathematics
511.3 KOZ-A