Publisher's Synopsis
This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.
About the Publisher
We seek to publish the innovative works of the greatest minds in academia, from the most respected senior scholar to the extraordinarily promising graduate student, in each of the disciplines in which we publish. The Press consciously acquires a collection of titles--a coherent "list" of books--in each discipline, providing focus, continuity, and a basis for the development of future publications.
