Theory of formal systems.
Series: Annals of mathematics studies,
Publisher: Princeton University Press
Published: 1961
Place of publication: Princeton, N.J
Language: eng
Number of pages: 142
Subjects: Recursive functions.; Metamathematics.
Notes: Includes bibliography.
"A revision of the author's recent doctoral dissertation--[Princeton]"