Toposes and Local Set Theories (1988)

by J L Bell