TY  - BOOK
AU  - Bell J L
TI  - Toposes and local set theories
T2  - Oxford logic studies; 14
U1  - B217, M8 
PY  - 1988///
CY  - Oxford
PB  - Clarendon Press        
KW  -  Combination
KW  - Permutation
ER  -