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

Powered by Koha