A type of recursive isomorphism of certain concepts of constructive analysis (Russian). Kučera , A., , & Kušner, B. Comment. Math. Univ. Carolin\ae, 19:97–105, 1978.
bibtex   
@ARTICLE{KK78,
  author = {Ku\v{c}era , A. and and Ku\v{s}ner, B.},
  title = {A type of recursive isomorphism of certain concepts of constructive
	analysis ({R}ussian)},
  journal = {Comment. Math. Univ. Carolin{\ae}},
  year = {1978},
  volume = {19},
  pages = {97--105},
  keywords = {bib,rus}
}

Downloads: 0