Closure operators and their middle-interchange law

From MaRDI portal
Publication:645209