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 |
| Publication date: | 19th August 1961 |
| Author: | Raymond M Smullyan |
| Publisher: | Princeton University Press |
| Format: | Paperback |
| Pagination: | 156 pages |
| Series: | Annals of Mathematics Studies |
| Genres: |
Cybernetics and systems theory |