1. Andrews, P. B. (1972). General models, descriptions, and choice in type theory. Journal of Symbolic Logic 37, 385?394.
2. Andrews, P. B. (1986). An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, Computer Science and Applied Mathematics, Academic Press, Orlando, FL.
3. Bell, J. L. (1988). Toposes and Local Set Theories: An Introduction, Oxford Logic Guides, 14, Oxford Science Publications, New York.
4. Dalla Chiara, M. L. (1984). Quantum Logic, Handbook of Philosophical Logic, Vol. III, Reidel, Dordrecht, pp. 427?469.
5. Gleason, A. M. (1991). Fundamentals of Abstract Analysis. Jones and Bartlett, Boston, MA. Corrected reprint of the 1966 original.