This almost self-contained introduction to higher recursion theory is essential reading for all researchers in the field.

This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability. A major theme is the study of t

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books

What can computers do in principle? What are their inherent theoretical limitations? The theoretical framework which enables such questions to be answered has b

The new Second Edition incorporates a wealth of exercise sets, allowing students to test themselves and review important topics discussed throughout the text."-