Compatible relations on Heyting chains

From MaRDI portal
Publication:664307