A de constructive open mapping theorem (1998)

by D Bridges, H Ishihara
Venue:Math. Logic Quarterly