Theory of formal systems
By: by Raymond M. Smullyan.
Edition: Rev. ed.
Series: Annals of mathematics studies -- 47.; Annals of mathematics studies -- no. 47.
Publisher: Princeton University Press
Published: 1962
Place of publication: Princeton, N.J
Language: eng
Number of pages: 147
Subjects: Metamathematics.; Recursive functions.
Notes: Revision of the author's theses (doctoral).

Includes index.

Bibliography: p. 141-142.