Faithin Omaha eBook Collection

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

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."-

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