000			00299nam a2200121Ia 4500
008			170527s2016||||xx |||||||||||||| ||und||
020			_a3-540-78105-6
082			_a511.3 _bK887a
100			_aDexter C. Kozen
245		0	_aAutomata And Computability
260			_bSpringer-Verlag _c2010 _aNULL
300			_a400 p.
942			_cRT
999			_c12158 _d12158