Kozen, Dexter C Theory of computation - London Springer-Verlag c2006 - xiii, 418p ISBN: 9781849965712 Subjects--Topical Terms: Computational complexity theory Recursion theory Dewey Class. No.: 004.0151 KOZ/T