Entailment systems for stably locally compact locales
scientific article; zbMATH DE number 2081192
scientific article