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. 26, (jan. 1962).