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.
MathematicsLogicScienceSystem Theory
RELEASED1961
PUBLISHERPrinceton University Press
LENGTH142
LANGUAGEEN
Raymond Merrill Smullyan was an American mathematician, magician, concert pianist, logician, Taoist, and philosopher. Born in Far Rockaway, New York, his first career was stage magic. He earned a BSc from the University of Chicago in 1955 and his Ph.D. from Princeton University in 1959. He is one of many logicians to have studied with Alonzo Church. **Source**: [Ramon Smullyan](https://en.wikipedia.org/wiki/Raymond_Smullyan) on Wikipedia.
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.
MathematicsLogicScienceSystem Theory
RELEASED1961
PUBLISHERPrinceton University Press
LENGTH142
LANGUAGEEN
Raymond Merrill Smullyan was an American mathematician, magician, concert pianist, logician, Taoist, and philosopher. Born in Far Rockaway, New York, his first career was stage magic. He earned a BSc from the University of Chicago in 1955 and his Ph.D. from Princeton University in 1959. He is one of many logicians to have studied with Alonzo Church. **Source**: [Ramon Smullyan](https://en.wikipedia.org/wiki/Raymond_Smullyan) on Wikipedia.
