Toposes and local set theories: An introduction (1988)

by J L Bell