The constructive mathematics of A.A. Markov: some reflections (Russian). Kušner, B. A. Modern Logic, 3:119–144, 1993.
bibtex   
@ARTICLE{Kus93,
  author = {Ku{\v{s}}ner, Boris Abramovich},
  title = {The constructive mathematics of {A}.{A}. {M}arkov: some reflections
	({R}ussian)},
  journal = {Modern Logic},
  year = {1993},
  volume = {3},
  pages = {119--144},
  keywords = {bib,rus}
}

Downloads: 0