Two applications of Boolean valued analysis

From MaRDI portal
Publication:2282621