Toposes and Local Set Theories (1988)

by John Bell