1. Barwise, J. and S. Feferman, 1985, Model-Theoretical Logics, Springer-Verlag, New York.
2. Ebbinghaus, H.D., J. Flum, and W. Thomas, 1984, Mathematical Logic, Springer-Verlag, New York.
3. Gödel, K., 1986a, “Über formal unentscheindbare Sätze der Principia Mathematica und verwandter Systeme”, in K. Gödel, editor, Collected Works Vol. 1, Oxford University Press, New York, pp. 144–195.
4. Gödel, K., 1986b, Collected Works Vol. 2, Oxford University Press, New York.
5. Henkin, L., 1950, “Completeness in the Theory of Types”, Journal of Symbolic Logic Vol. 14, pp. 81–91.