View of A decision procedure for a sublanguage of set theory involving monotone additive and multiplicative functions, II. The multi-level case

Return to Article Details A decision procedure for a sublanguage of set theory involving monotone additive and multiplicative functions, II. The multi-level case Download Download PDF