Effective topological spaces, I. A definability theory. Kalantari, I. & Weitkamp, G. 29:1–27, 1985.
bibtex   
@ARTICLE{KW85a,
  author = {Kalantari, I. and Weitkamp, G.},
  title = {Effective topological spaces, {I}. {A} definability theory},
  journal = APAL,
  year = {1985},
  volume = {29},
  pages = {1--27},
  keywords = {bib,cca}
}

Downloads: 0