| Author/Contributor(s): | Smullyan, Raymond M |
| Publisher: | Princeton University Press |
| Date: | 04/21/1961 |
| Binding: | Paperback |
| Condition: | NEW |
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.