@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}
}

{"_id":"JGrbpD8rjGCJ4uxbh","bibbaseid":"weihrauch-constructivityascontinuityanapproachtoconstructiveandcomputablemathematicswithoutconstructivelogic-1987","authorIDs":[],"author_short":["Weihrauch, K."],"bibdata":{"bibtype":"techreport","type":"Informatik Berichte","author":[{"propositions":[],"lastnames":["Weihrauch"],"firstnames":["Klaus"],"suffixes":[]}],"title":"Constructivity as continuity: an approach to constructive and computable mathematics without constructive logic","institution":"FernUniversität Hagen","year":"1987","number":"67","address":"Hagen","month":"May","keywords":"thi1","bibtex":"@TECHREPORT{Wei87a,\r\n author = {Weihrauch, Klaus},\r\n title = {Constructivity as continuity: an approach to constructive and computable\r\n\tmathematics without constructive logic},\r\n institution = {FernUniversit\\\"at Hagen},\r\n year = {1987},\r\n type = {Informatik Berichte},\r\n number = {67},\r\n address = {Hagen},\r\n month = may,\r\n keywords = {thi1}\r\n}\r\n\r\n","author_short":["Weihrauch, K."],"key":"Wei87a","id":"Wei87a","bibbaseid":"weihrauch-constructivityascontinuityanapproachtoconstructiveandcomputablemathematicswithoutconstructivelogic-1987","role":"author","urls":{},"keyword":["thi1"],"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"techreport","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:35.976Z","downloads":0,"keywords":["thi1"],"search_terms":["constructivity","continuity","approach","constructive","computable","mathematics","without","constructive","logic","weihrauch"],"title":"Constructivity as continuity: an approach to constructive and computable mathematics without constructive logic","year":1987,"dataSources":["t7rKiAbxugj4Agz8M"]}