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

Expand your understanding of mathematical logic with Higher Recursion Theory: 2, published by Cambridge University Press. This volume serves as the second publication in the prestigious Perspectives in Logic series, bringing back a seminal work that was previously unavailable for many years. Designed as an almost self-contained introduction, this text is built for readers who already possess a foundation in the basics of classical recursion theory. It provides a clear pathway into advanced logical concepts, making it a necessary resource for students and researchers in the field. The content is organized into four distinct parts to guide your study: hyperarithmetic sets, metarecursion, alpha-recursion, and E-recursion. Whether you are returning to this classic text or discovering it for the first time, this book offers the depth and structure required to master higher recursion theory.