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

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

Peter Smith examines Gödel's Theorems, how they were established and why they matter.