Toposes and Local Set Theories: An Introduction - J. L. Bell

J. L. Bell is a Professor at the University of Western Ontario and co-author of Dover's Models and Ultraproducts .