Cambridge University Press Higher Recursion Theory 2 - Perspectives in Logic Series

Higher Recursion Theory: 2 is an essential introduction to advanced recursion theory from Cambridge University Press, part of the respected Perspectives in Logic series. Designed for readers with foundational knowledge of classical recursion theory, this volume provides an almost self-contained exploration of complex logical systems. The book is structured into four comprehensive parts covering hyperarithmetic sets, metarecursion, -recursion, and E-recursion, each building systematically on previous concepts. Originally part of a prestigious collection of seminal works by leading logicians, this reprint makes previously unavailable material accessible once again. Whether you are studying mathematical logic, theoretical computer science, or advanced recursion theory, this text serves as a critical resource for understanding the deeper structures and applications of recursive functions and their hierarchies.