Raymond M. Smullyan: Theory of Formal Systems. Princeton University Press, Princeton, N. J. 1961. 142 s. Pris: $ 3.00. - Johnsen, Erik (Ledelse og Erhvervsøkonomi, 1962)