On eective topological spaces (1998)

by D Spreen
Venue:The Journal of Symbolic Logic