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.
Produktdetaljer
ISBN
9781400882007
Publisert
2016
Utgiver
Princeton University Press
Språk
Product language
Engelsk
Format
Product format
Digital bok
Forfatter