The space of prime ordered filters of Heyting almost distributive lattices

From MaRDI portal
Publication:739856