Theory of formal systems / Smullyan Raymond M.

• Main Author: Smullyan, Raymond M. (συγγραφέας.)
• Format: Book
• Language: English
• Published: Princeton, N.J. : Princeton University Press, 1961.
• Series: Annals of mathematics studies 47.
• Subjects: Αναδρομικές συναρτήσεις