Springer Higher-Order Computability Theory and Applications

Explore the advanced principles of mathematical logic and computer science with Higher-Order Computability by Springer. This book provides a self-contained exposition of computability theory within a higher-order context. It examines environments where computable operations serve as arguments to other computable operations, a concept that has evolved significantly since the foundational work of Kleene and Kreisel in the 1950s. This text is designed for those studying the intersection of mathematical logic and computer science. It covers how higher-order computability helps clarify the constructive content of logical systems and aids in investigating the expressive power of various systems. Whether you are researching the origins of the field or its modern expansions, this work offers a comprehensive look at how these mathematical ideas influence contemporary computational theory.