A constructive treatment of open and unopen mapping theorems (1989)

by D Bridges, W Julian, R Mines
Venue:Z. Math. Logik und Grundlagen der Math. Bd