Constructive Gelfand duality for C*-algebras (Q3183160)

From MaRDI portal