Effective Choice and Boundedness Principles in Computable Analysis

From MaRDI portal
Publication:3083466