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.
Shopping Cart options:
Prices subject to change without notice
File created: 4/27/2016
Questions and comments to: email@example.com
Princeton University Press