TY  - BOOK
AU  -  Kozen, Dexter C
TI  -  Automata and computability
SN  - 1332
U1  -  005.131  KOZ-A 
PB  -  Springer Publishing Co., New York
KW  -  Symbolic logic; Automata, Formal languages applied to programming langu
ER  -