The Galois connection between partial operations and relations

From MaRDI portal
Publication:1239339