Theory of Formal Systems
![cover of Theory of Formal Systems](https://smullyansociety.s3.amazonaws.com/static/cache/9d/bf/9dbfd285845d7e1adf3ed87d2485ca76.jpg)
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.
EDITIONS
- ISBN: 9780691080475 · paperback
- Princeton University Press (US) · April 1, 1961
- $72.50
- ISBN: 9781400882007 · ebook
- Princeton University Press (US) · March 1, 2016