Return to Article Details Completeness and decidability of the deducibility problem for some class of formulas of set theory Download Download PDF