Kozen, Dexter C Automata and computability Dexter C Kozen - - Springer-Verlag, New York 1997 - - . Subjects--Topical Terms: Mathematical logic-- Mathematics Dewey Class. No.: 511.3 KOZ-A