Toposes and local set theories: An introduction (2008)

by J L Bell