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.

Product details

ISBN
9781400882007
Published
2016
Publisher
Princeton University Press
Language
Product language
Engelsk
Format
Product format
Digital bok