000 00527 a2200265 4500
001 75641
020 _a0-387-94907-033
041 _aeng
080 _a517.1:681.3 Koz
245 _aAutomata and computability
250 _a
260 _a
260 _bNew York : Springer, 1997
260 _c1997
300 _axiii,400 p.
300 _c24 cm
490 _a
100 _aKozen, Dexter C.
700 _a
650 _a
650 _aMachine theory
650 _aComputable functions
942 _cBK
942 _2UDC
999 _c86082
_d86082