Effective properties of sets and functions in metric spaces with computability structure

From MaRDI portal
Publication:1292419