00502pamaa2200181 4500 0000040357 20121206090000.0 038794070 (pbk.) / 0387949070 511.3 KOZ QA267 KOZ 1997 KOZEN Automata and computability Dexter C. Kozen. New York: Springer, 1997. xiii, 399p.: 24 cm. Undergraduate Texts in Computer Science BCSCU Machine theory Computable functions