Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic

From MaRDI portal