Superintuitionistic logics approximated by algebras with the descending chain condition

From MaRDI portal
Publication:1065787