Theory of formal systems /
Smullyan, Raymond M.
Theory of formal systems / Smullyan Raymond M. - Princeton, N.J. : Princeton University Press, 1961. - 142 σ. : εικ. ; 26 εκ. - Annals of mathematics studies : 47. . - Annals of mathematics studies 47. .
Περιλαμβάνει βιβλιογραφία.
Αναδρομικές συναρτήσεις
511.352
Theory of formal systems / Smullyan Raymond M. - Princeton, N.J. : Princeton University Press, 1961. - 142 σ. : εικ. ; 26 εκ. - Annals of mathematics studies : 47. . - Annals of mathematics studies 47. .
Περιλαμβάνει βιβλιογραφία.
Αναδρομικές συναρτήσεις
511.352