A unifying approach to computable set theory