Smullyan,, Raymond M
Theory of formal systems / Raymond M. Smullyan
Theory of formal systems / Raymond M. Smullyan
. - Princeton : Princeton University Press, cop. 1961
. - VIII, 142 p. 23 cm
. - (Annals of mathematics studies; 47)
0-691-08047-X (Brochado)
510.5