Completeness and Decidability of the Deducibility Problem for Some Classes of Formulas of Set Theory