What do you think?
Rate this book
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.
- GenresMathematics
156 pages, Paperback
First published April 1, 1961
51 people want to read
About the author
Raymond M. Smullyan
78 books280 followersRaymond M. Smullyan was a logician, musician, Zen master, puzzle master, and writer.
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.