zbMath1036.03049MaRDI QIDQ4552740
Ray Mines, Hajime Ishihara
Publication date: 2001
zbMATH Keywords
metric spaces; constructive mathematics; continuity of functions
Mathematics Subject Classification ID
03F60: Constructive and recursive analysis
46S30: Constructive functional analysis
Related Items