Theory of Formal Systems. (Am-47), Volume 47

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.

Author: Raymond M. Smullyan
Publisher: Princeton University Press
Published: 04/21/1961
Pages: 156
Binding Type: Paperback
Weight: 0.47lbs
Size: 8.88h x 5.94w x 0.39d
ISBN: 9780691080475