Review of theory of computation by Dexter C. Kozen

Daniel Apon. Review of theory of computation by Dexter C. Kozen. SIGACT News, 43(1):23-27, 2012. [doi]

Abstract

Abstract is missing.