https://intlibrary.ir/download/a-hierarchy-of-formulas-in-set-theory-22352/