On effective topological spaces (1998)

by D Spreen
Venue:Journal of Symbolic Logic