1. Awodey, S.: Structure in mathematics and logic: a categorical perspective. Philos. Math. 4(3), 209–237 (1996)
2. Awodey, S.: Continuity and logical completeness: an application of sheaf theory and topoi. In: Johan van Benthem, M.R., Heinzmann, G., Visser, H. (eds.) The Age of Alternative Logics. Assesing Philosophy of Logic and Mathematics Today, pp. 139–149. Springer, The Netherlands (2006)
3. Bell, J.L.: Lectures on the foundations of mathematics.
http://publish.uwo.ca/~jbell/foundations%20of%20mathematics.pdf
4. Bell, J.L.: From absolute to local mathematics. Synthese 69, 409–426 (1986)
5. Bell, J.L.: Toposes and Local Set Theories: An Introduction. Oxford Clarendon Press (1988)