Johnsen, E. 1962. Raymond M. Smullyan: Theory of Formal Systems. Princeton University Press, Princeton, N. J. 1961. 142 s. Pris: $ 3.00. Ledelse og erhvervsøkonomi Erhvervsøkonomisk Tidsskrift Handelsvidenskabeligt Tidsskrift. 26, (Jan. 1962).