1. Andrews, P.B. An Introduction to Mathematical Logic and Type Theory. Academic Press, New York, 1986.
2. Barwise, J. Admissible Sets and Structures. Springer-Verlag, Berlin, 1975.
3. Beeson, M.J. Foundations of Constructive Mathematics, Springer-Verlag Berlin, 1985.
4. Blackburn, P., de Rijke,M., and Venema, Y. Modal Logic. Cambridge Univ. Press, Cambridge, 2001.
5. Bridge, J. Beginning Model Theory: The Completeness Theorem and Some Consequences. Clarendon Press, Oxford, 1977.