MacNeille transferability and stable classes of Heyting algebras
scientific article; zbMATH DE number 6968514
scientific article