Constructivity as continuity: an approach to constructive and computable mathematics without constructive logic. Weihrauch, K. Technical Report 67, FernUniversität Hagen, Hagen, May, 1987.
bibtex   
@TECHREPORT{Wei87a,
  author = {Weihrauch, Klaus},
  title = {Constructivity as continuity: an approach to constructive and computable
	mathematics without constructive logic},
  institution = {FernUniversit\"at Hagen},
  year = {1987},
  type = {Informatik Berichte},
  number = {67},
  address = {Hagen},
  month = may,
  keywords = {thi1}
}

Downloads: 0