1. Andrews, P. B., An Introduction to Mathematical Logic and Type Theory, Academic Press, Orlando, 1986. Zbl 0617.03001 MR 88g:03001
2. Enderton, H. B., A Mathematical Introduction to Logic, Academic Press, New York, 1972. Zbl 0298.02002 MR 49:2239
3. Hintikka, J., “Surface information and depth information,” pp. 263–297 in Information and Inference, edited by J. Hintikka and P. Suppes, Reidel, Dordrecht, 1970. Zbl 0265.02005 MR 43:4625
4. Hintikka, J., Logic, Language-Games and Information, Clarendon Press, Oxford, 1973. Zbl 0253.02005 MR 54:4911
5. Noah, A., “Predicate-functors and the limits of decidability in logic,” Notre Dame Journal of Formal Logic, vol. 21 (1980), pp. 701–707. Zbl 0416.03014 MR 82b:03042