Theory of Formal Systems. (AM-47), Volume 47 (Annals of Mathematics Studies, 47)

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.