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: | 9781400882007 |
| Publication date: | 2nd March 2016 |
| Author: | Smullyan, Raymond M. |
| Publisher: | Princeton University Press |
| Format: | Ebook |