Theory of Formal Systems. (AM-47), Volume 47
By (Author) Raymond M. Smullyan
Princeton University Press
Princeton University Press
29th June 1961
United States
Professional and Scholarly
Non Fiction
511.3
Paperback
156
Width 152mm, Height 229mm
198g
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.