Kernels of seminorms in constructive analysis.

From MaRDI portal
Publication:1607290