1. Russell, B., Whitehead, A.: The Principles of Mathematics. Cambridge University Press, Cambridge (1903)
2. Lambek, J., Scott, P.J.: Introduction to Higher Order Categorical Logic. Cambridge University Press, New York (1986)
3. Sorensen, M., Urzyczyn, P.: Lectures on the Curry-Howard Isomorphism. Elsevier Science, Amsterdam (2006)
4. Johnstone, P.: Sketches of an Elephant. Clarendon Press, Oxford, A Topos Theory Compendium (2002)
5. Meordijk, I., Mac Lane, S.: Sheaves in Geometry and Logic. Springer, New York (1992)