Toposes and local set theories : an introduction /
Bell, J. L.(John Lane)
Oxford Clarendon
1988
Toposes.