Logical metatheorems for abstract spaces axiomatized in positive bounded logic
scientific article; zbMATH DE number 6538725
scientific article