Toposes and local set theories - Bell J L (Oxford Clarendon Press, 1988)
Keywords: Combination; Permutation