Theory of formal systems
Smullyan, Raymond M
Theory of formal systems by Raymond M. Smullyan - Rev. ed - Princeton, New Jersey Princeton University Press 1961 - VIII, 148 p 24 cm - Seria Annals of mathematics studies Vol. 47 .
Contine bibliogr. si index
Logica matematica
Sisteme formale
Functii recursive
510.5
Theory of formal systems by Raymond M. Smullyan - Rev. ed - Princeton, New Jersey Princeton University Press 1961 - VIII, 148 p 24 cm - Seria Annals of mathematics studies Vol. 47 .
Contine bibliogr. si index
Logica matematica
Sisteme formale
Functii recursive
510.5