A hierarchy of ways of understanding judgments in constructive mathematics (Russian). Šanin, N. Trudy Mat. Inst. Steklov., 129:203–266, 1973.
bibtex   
@ARTICLE{San73,
  author = {{\v{S}}anin, N.A.},
  title = {A hierarchy of ways of understanding judgments in constructive mathematics
	({R}ussian)},
  journal = {Trudy Mat. Inst. Steklov.},
  year = {1973},
  volume = {129},
  pages = {203--266},
  keywords = {bib,rus},
  series = {Problems in the Constructive Trend in Mathematics, 6}
}

Downloads: 0