Toposes and local set theories : an introduction Dover ed - Bell, J. L. (John Lane) (Dover Publications, 2008)