Theory of Formal Systems
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.
- ISBN: 9780691080475 · paperback
- Princeton University Press (US) · April 1, 1961
- ISBN: 9781400882007 · ebook
- Princeton University Press (US) · March 1, 2016